comparison unarchivemany.sh @ 20:79c6618e8dfa

small fixes
author casties
date Tue, 20 Sep 2005 19:30:34 +0200
parents 8d2f0586eca6
children 51d136834761
comparison
equal deleted inserted replaced
19:320c4b93bf39 20:79c6618e8dfa
27 27
28 cat $DIRLIST | while read DIR 28 cat $DIRLIST | while read DIR
29 do 29 do
30 if [ -d "$BASEDIR/$DIR" ] 30 if [ -d "$BASEDIR/$DIR" ]
31 then 31 then
32 echo "archiving $DIR..." 32 echo "unarchiving $DIR..."
33 if /usr/local/mpiwg/archive/unarchiver "$BASEDIR/$DIR" 33 if /usr/local/mpiwg/archive/unarchiver "$BASEDIR/$DIR"
34 then 34 then
35 echo " done on `date`" 35 echo " done on `date`"
36 else 36 else
37 echo "FAILED!" 37 echo "FAILED!"