Mercurial > hg > foxridge-archiver
annotate archivemany.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 | fdf4ceb36db1 |
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="archivemany 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 " Archives 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/archiver "$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 |