annotate unarchivemany.sh @ 15:8d2f0586eca6

new helper script for calling archiver on many directories
author casties
date Mon, 20 Jun 2005 17:21:30 +0200
parents
children 79c6618e8dfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
1 #!/bin/bash
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
2
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
3 VERSION="unarchivemany V0.1 (14.6.2005 ROC)"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
4
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
5 if [ -z "$1$2" ]
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
6 then
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
7 echo $VERSION
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
8 echo "use: $0 docdir dirlist"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
9 echo " Unrchives the directories given in the file dirlist inside docdir."
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
10 exit 1
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
11 fi
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
12
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
13 BASEDIR="$1"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
14 DIRLIST="$2"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
15
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
16 if [ ! -d $BASEDIR ]
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
17 then
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
18 echo "ERROR: base directory $BASEDIR not found!"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
19 exit 1
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
20 fi
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
21
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
22 if [ ! -f $DIRLIST ]
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
23 then
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
24 echo "ERROR: directory list file $DIRLIST not found!"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
25 exit 1
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
26 fi
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
27
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
28 cat $DIRLIST | while read DIR
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
29 do
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
30 if [ -d "$BASEDIR/$DIR" ]
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
31 then
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
32 echo "archiving $DIR..."
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
33 if /usr/local/mpiwg/archive/unarchiver "$BASEDIR/$DIR"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
34 then
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
35 echo " done on `date`"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
36 else
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
37 echo "FAILED!"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
38 # abort?
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
39 fi
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
40 else
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
41 echo "ERROR: document directory $BASEDIR/$DIR not found!"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
42 fi
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
43 done