diff unarchivemany.sh @ 20:79c6618e8dfa

small fixes
author casties
date Tue, 20 Sep 2005 19:30:34 +0200
parents 8d2f0586eca6
children 51d136834761
line wrap: on
line diff
--- a/unarchivemany.sh	Tue Sep 20 19:28:26 2005 +0200
+++ b/unarchivemany.sh	Tue Sep 20 19:30:34 2005 +0200
@@ -29,7 +29,7 @@
 do
     if [ -d "$BASEDIR/$DIR" ]
     then
-	echo "archiving $DIR..."
+	echo "unarchiving $DIR..."
 	if /usr/local/mpiwg/archive/unarchiver "$BASEDIR/$DIR"
 	then
 	    echo "  done on `date`"