diff options
Diffstat (limited to 'checks')
| -rw-r--r-- | checks/ChangeLog | 4 | ||||
| -rwxr-xr-x | checks/mkdemodirs | 8 |
2 files changed, 8 insertions, 4 deletions
diff --git a/checks/ChangeLog b/checks/ChangeLog index 9861e10f3..0af642df2 100644 --- a/checks/ChangeLog +++ b/checks/ChangeLog @@ -1,3 +1,7 @@ +Thu Feb 10 17:39:44 CET 2000 Werner Koch <[email protected]> + + * mkdemodirs: Fixed the --clean loop. + Thu Jan 13 19:31:58 CET 2000 Werner Koch <[email protected]> * defs.inc (chdir): Removed becuase it is unsused an plain old sh diff --git a/checks/mkdemodirs b/checks/mkdemodirs index cdd945cbf..f0c7e02ba 100755 --- a/checks/mkdemodirs +++ b/checks/mkdemodirs @@ -8,9 +8,9 @@ NAMES='Alpha Bravo Charlie Delta Echo Foxtrot Golf Hotel India Sierra Tango Uniform Victor Whisky XRay Yankee Zulu' if [ "$1" = "--clean" ]; then - for i in $NAMES; do + (for i in $NAMES; do [ -d $i ] && rm -r $i - done + done) || true exit 0 fi @@ -24,9 +24,9 @@ for name in $NAMES; do /bin/echo " $name\c" [ -d $name ] && rm -r $name mkdir $name - $GPGDEMO --export-secret-key -o - $name > $name/Secret.gpg + $GPGDEMO --export-secret-key -o - $name > $name/Secret.gpg $GPG --homedir $name --import $name/Secret.gpg - $GPGDEMO --export -o - $name > $name/Public.gpg + $GPGDEMO --export -o - $name > $name/Public.gpg $GPG --homedir $name --import $name/Public.gpg [ -f $name/pubring.gpg~ ] && rm $name/pubring.gpg~ done |