comparison archivemany.sh @ 23:a3c35eae25dc

added count in archivemany removed abort on wrong user in archiver (problem with screen)
author casties
date Fri, 23 Sep 2005 19:16:17 +0200
parents fdf4ceb36db1
children 8b9d91963de7
comparison
equal deleted inserted replaced
22:c3defe3e2780 23:a3c35eae25dc
1 #!/bin/bash 1 #!/bin/bash
2 2
3 VERSION="archivemany V0.1 (14.6.2005 ROC)" 3 VERSION="archivemany V0.2 (23.9.2005 ROC)"
4 4
5 #set -x 5 #set -x
6 6
7 if [ -z "$1$2" ] 7 if [ -z "$1$2" ]
8 then 8 then
13 fi 13 fi
14 14
15 BASEDIR="$1" 15 BASEDIR="$1"
16 DIRLIST="$2" 16 DIRLIST="$2"
17 PARAM="$3" 17 PARAM="$3"
18 CNT="1"
18 19
19 if [ ! -d $BASEDIR ] 20 if [ ! -d $BASEDIR ]
20 then 21 then
21 echo "ERROR: base directory $BASEDIR not found!" 22 echo "ERROR: base directory $BASEDIR not found!"
22 exit 1 23 exit 1
30 31
31 cat $DIRLIST | while read DIR 32 cat $DIRLIST | while read DIR
32 do 33 do
33 if [ -d "$BASEDIR/$DIR" ] 34 if [ -d "$BASEDIR/$DIR" ]
34 then 35 then
35 echo "archiving $DIR..." 36 echo "archiving document $CNT: $DIR..."
36 if /usr/local/mpiwg/archive/archiver "$PARAM" "$BASEDIR/$DIR" 37 if /usr/local/mpiwg/archive/archiver "$PARAM" "$BASEDIR/$DIR"
37 then 38 then
38 echo " done on `date`" 39 echo " done on `date`"
39 else 40 else
40 echo "FAILED!" 41 echo "FAILED!"
41 # abort? 42 # abort?
42 fi 43 fi
43 else 44 else
44 echo "ERROR: document directory $BASEDIR/$DIR not found!" 45 echo "ERROR: document directory $BASEDIR/$DIR not found!"
45 fi 46 fi
47 CNT=$(( $CNT + 1 ))
46 done 48 done