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
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
23
a3c35eae25dc added count in archivemany
casties
parents: 18
diff changeset
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
fdf4ceb36db1 fixed problem with dir names in metacheck
casties
parents: 15
diff changeset
5 #set -x
fdf4ceb36db1 fixed problem with dir names in metacheck
casties
parents: 15
diff changeset
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
a3c35eae25dc added count in archivemany
casties
parents: 18
diff changeset
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
a3c35eae25dc added count in archivemany
casties
parents: 18
diff changeset
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
a3c35eae25dc added count in archivemany
casties
parents: 18
diff changeset
49 CNT=$(( $CNT + 1 ))
15
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
50 done