1
0
mirror of git://projects.qi-hardware.com/eda-tools.git synced 2024-11-26 15:08:27 +02:00

gitsch2ps now by default removes cache.lib (option -c keeps it)

- schhist/gitsch2ps: added option -c to keep cache.lib
- schhist/gitsch2ps: remove cache.lib unless -c is set
- schhist/gitsch2ps: added missing space in warning when the profile is
  missing
This commit is contained in:
Werner Almesberger 2010-10-04 02:01:22 -03:00
parent 8be9fe13e2
commit 7b1d3fd4d2

View File

@ -17,6 +17,7 @@ usage()
cat <<EOF 1>&2 cat <<EOF 1>&2
usage: $0 [options] top-dir top-schem [commit] outdir usage: $0 [options] top-dir top-schem [commit] outdir
-c keep .lib.cache (default: delete it)
-k keep the temporary directory and print its name -k keep the temporary directory and print its name
-S sanitize the KiCad profile and the top-level sheet -S sanitize the KiCad profile and the top-level sheet
EOF EOF
@ -27,8 +28,11 @@ EOF
sanitize_profile=true sanitize_profile=true
sanitize_schem=true sanitize_schem=true
keep=false keep=false
cache=false
while true; do while true; do
case "$1" in case "$1" in
-c) cache=true
shift;;
-k) keep=true -k) keep=true
shift;; shift;;
-S) sanitize_profile=`PATH="$PATH":\`dirname "$0"\` which sanitize-profile` -S) sanitize_profile=`PATH="$PATH":\`dirname "$0"\` which sanitize-profile`
@ -71,6 +75,16 @@ rm -rf "$outdir"
git clone -q -s -n "$dir/.git" "$tmp" || exit git clone -q -s -n "$dir/.git" "$tmp" || exit
( cd "$tmp" && git checkout -q "$commit"; ) || exit ( cd "$tmp" && git checkout -q "$commit"; ) || exit
clib=${schem%.sch}.cache.lib
if [ -e "$tmp/$clib" ]; then
if $cache; then
echo "found $clib (keeping it)" 1>&2
else
echo "removing $clib" 1>&2
rm -f "$tmp/$clib"
fi
fi
pro=${schem%.sch}.pro pro=${schem%.sch}.pro
if [ ! -f "$tmp/$pro" -a ! -f "$tmp/$schem" ]; then if [ ! -f "$tmp/$pro" -a ! -f "$tmp/$schem" ]; then