version 1.2, 2005/09/20 17:24:57
|
version 1.3, 2005/09/23 17:16:16
|
Line 1
|
Line 1
|
#!/bin/bash |
#!/bin/bash |
|
|
VERSION="archivemany V0.1 (14.6.2005 ROC)" |
VERSION="archivemany V0.2 (23.9.2005 ROC)" |
|
|
#set -x |
#set -x |
|
|
Line 15 fi
|
Line 15 fi
|
BASEDIR="$1" |
BASEDIR="$1" |
DIRLIST="$2" |
DIRLIST="$2" |
PARAM="$3" |
PARAM="$3" |
|
CNT="1" |
|
|
if [ ! -d $BASEDIR ] |
if [ ! -d $BASEDIR ] |
then |
then |
Line 32 cat $DIRLIST | while read DIR
|
Line 33 cat $DIRLIST | while read DIR
|
do |
do |
if [ -d "$BASEDIR/$DIR" ] |
if [ -d "$BASEDIR/$DIR" ] |
then |
then |
echo "archiving $DIR..." |
echo "archiving document $CNT: $DIR..." |
if /usr/local/mpiwg/archive/archiver "$PARAM" "$BASEDIR/$DIR" |
if /usr/local/mpiwg/archive/archiver "$PARAM" "$BASEDIR/$DIR" |
then |
then |
echo " done on `date`" |
echo " done on `date`" |
Line 43 do
|
Line 44 do
|
else |
else |
echo "ERROR: document directory $BASEDIR/$DIR not found!" |
echo "ERROR: document directory $BASEDIR/$DIR not found!" |
fi |
fi |
|
CNT=$(( $CNT + 1 )) |
done |
done |