version 1.2, 2005/09/20 17:30:34
|
version 1.3, 2006/06/23 08:57:56
|
Line 1
|
Line 1
|
#!/bin/bash |
#!/bin/bash |
|
|
VERSION="unarchivemany V0.1 (14.6.2005 ROC)" |
VERSION="unarchivemany V0.2 (23.6.2006 ROC)" |
|
|
if [ -z "$1$2" ] |
if [ -z "$1$2" ] |
then |
then |
echo $VERSION |
echo $VERSION |
echo "use: $0 docdir dirlist" |
echo "use: $0 docdir dirlist" |
echo " Unrchives the directories given in the file dirlist inside docdir." |
echo " Unarchives the directories given in the file dirlist inside docdir." |
exit 1 |
exit 1 |
fi |
fi |
|
|
Line 25 then
|
Line 25 then
|
exit 1 |
exit 1 |
fi |
fi |
|
|
|
CNT=0 |
|
|
cat $DIRLIST | while read DIR |
cat $DIRLIST | while read DIR |
do |
do |
|
CNT=$(( $CNT + 1 )) |
if [ -d "$BASEDIR/$DIR" ] |
if [ -d "$BASEDIR/$DIR" ] |
then |
then |
echo "unarchiving $DIR..." |
echo "$CNT: unarchiving $DIR..." |
if /usr/local/mpiwg/archive/unarchiver "$BASEDIR/$DIR" |
if /usr/local/mpiwg/archive/unarchiver "$BASEDIR/$DIR" |
then |
then |
echo " done on `date`" |
echo " done on `date`" |
Line 38 do
|
Line 41 do
|
# abort? |
# abort? |
fi |
fi |
else |
else |
echo "ERROR: document directory $BASEDIR/$DIR not found!" |
echo "$CNT: ERROR: document directory $BASEDIR/$DIR not found!" |
fi |
fi |
done |
done |
|
|
|
if [ $CNT = 0 ] |
|
then |
|
echo "ERROR: the list file $DIRLIST seems to be empty!" |
|
fi |