annotate archivemany.sh @ 60:5bee75ca9eb3 default tip

added old makemeta-quantum.pl that was not in CVS.
author casties
date Thu, 16 Mar 2017 18:29:58 +0100
parents 1afdf186b65e
children
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
37
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
3 VERSION="archivemany V0.3 (23.6.2006 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
37
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
10 echo "use: $0 docdir dirlist [params...]"
15
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"
15
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
20
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
21 if [ ! -d $BASEDIR ]
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
22 then
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
23 echo "ERROR: base directory $BASEDIR not found!"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
24 exit 1
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
25 fi
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
26
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
27 if [ ! -f $DIRLIST ]
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
28 then
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
29 echo "ERROR: directory list file $DIRLIST not found!"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
30 exit 1
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
31 fi
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
32
37
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
33 CNT=0
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
34
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
35 # read directories from DIRLIST
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
36 while read DIR
15
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
37 do
37
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
38 CNT=$(( $CNT + 1 ))
15
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
39 if [ -d "$BASEDIR/$DIR" ]
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
40 then
23
a3c35eae25dc added count in archivemany
casties
parents: 18
diff changeset
41 echo "archiving document $CNT: $DIR..."
25
8b9d91963de7 more option passing to metacheck from archivemany via archiver
casties
parents: 23
diff changeset
42 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
43 then
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
44 echo " done on `date`"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
45 else
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
46 echo "FAILED!"
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
47 # abort?
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
48 fi
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
49 else
37
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
50 echo "$CNT ERROR: document directory $BASEDIR/$DIR not found!"
15
8d2f0586eca6 new helper script for calling archiver on many directories
casties
parents:
diff changeset
51 fi
37
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
52 done < $DIRLIST
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
53
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
54 if [ $CNT = 0 ]
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
55 then
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
56 echo "ERROR: the list file $DIRLIST seems to be empty!"
1afdf186b65e added error message for empty list file
casties
parents: 25
diff changeset
57 fi