Mercurial > hg > foxridge-archiver
annotate archivemany.sh @ 30:398ef4b8f072
added -online-base option to makemeta-lib
author | casties |
---|---|
date | Mon, 12 Jun 2006 19:01:39 +0200 |
parents | 8b9d91963de7 |
children | 1afdf186b65e |
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 |
23 | 3 VERSION="archivemany V0.2 (23.9.2005 ROC)" |
15
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
4 |
18 | 5 #set -x |
6 | |
15
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
7 if [ -z "$1$2" ] |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
8 then |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
9 echo $VERSION |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
10 echo "use: $0 docdir dirlist" |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
11 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
|
12 exit 1 |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
13 fi |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
14 |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
15 BASEDIR="$1" |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
16 DIRLIST="$2" |
25
8b9d91963de7
more option passing to metacheck from archivemany via archiver
casties
parents:
23
diff
changeset
|
17 PARAM1="$3" |
8b9d91963de7
more option passing to metacheck from archivemany via archiver
casties
parents:
23
diff
changeset
|
18 PARAM2="$4" |
8b9d91963de7
more option passing to metacheck from archivemany via archiver
casties
parents:
23
diff
changeset
|
19 PARAM3="$5" |
23 | 20 CNT="1" |
15
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 [ ! -d $BASEDIR ] |
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: base directory $BASEDIR 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 if [ ! -f $DIRLIST ] |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
29 then |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
30 echo "ERROR: directory list file $DIRLIST not found!" |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
31 exit 1 |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
32 fi |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
33 |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
34 cat $DIRLIST | while read DIR |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
35 do |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
36 if [ -d "$BASEDIR/$DIR" ] |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
37 then |
23 | 38 echo "archiving document $CNT: $DIR..." |
25
8b9d91963de7
more option passing to metacheck from archivemany via archiver
casties
parents:
23
diff
changeset
|
39 if /usr/local/mpiwg/archive/archiver "$PARAM1" "$PARAM2" "$PARAM3" "$BASEDIR/$DIR" |
15
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
40 then |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
41 echo " done on `date`" |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
42 else |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
43 echo "FAILED!" |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
44 # abort? |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
45 fi |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
46 else |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
47 echo "ERROR: document directory $BASEDIR/$DIR not found!" |
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
48 fi |
23 | 49 CNT=$(( $CNT + 1 )) |
15
8d2f0586eca6
new helper script for calling archiver on many directories
casties
parents:
diff
changeset
|
50 done |