# HG changeset patch
# User casties
# Date 1119280890 -7200
# Node ID 8d2f0586eca69f2f2d1946b44d1c9263adfb77a5
# Parent  018e7c913b32cddc619e5b9290d89cf0ebdd3348
new helper script for calling archiver on many directories

diff -r 018e7c913b32 -r 8d2f0586eca6 archivemany.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/archivemany.sh	Mon Jun 20 17:21:30 2005 +0200
@@ -0,0 +1,43 @@
+#!/bin/bash
+
+VERSION="archivemany V0.1 (14.6.2005 ROC)"
+
+if [ -z "$1$2" ]
+then
+    echo $VERSION
+    echo "use: $0 docdir dirlist"
+    echo "  Archives the directories given in the file dirlist inside docdir."
+    exit 1
+fi
+
+BASEDIR="$1"
+DIRLIST="$2"
+
+if [ ! -d $BASEDIR ]
+then
+    echo "ERROR: base directory $BASEDIR not found!"
+    exit 1
+fi
+
+if [ ! -f $DIRLIST ]
+then
+    echo "ERROR: directory list file $DIRLIST not found!"
+    exit 1
+fi
+
+cat $DIRLIST | while read DIR
+do
+    if [ -d "$BASEDIR/$DIR" ]
+    then
+	echo "archiving $DIR..."
+	if /usr/local/mpiwg/archive/archiver "$BASEDIR/$DIR"
+	then
+	    echo "  done on `date`"
+	else
+	    echo "FAILED!"
+	    # abort?
+	fi
+    else
+	echo "ERROR: document directory $BASEDIR/$DIR not found!"
+    fi
+done
diff -r 018e7c913b32 -r 8d2f0586eca6 makemeta-lib.pl
--- a/makemeta-lib.pl	Wed Jun 01 14:26:52 2005 +0200
+++ b/makemeta-lib.pl	Mon Jun 20 17:21:30 2005 +0200
@@ -94,6 +94,7 @@
     'French' => 'fr',
     'Latin' => 'la',
     'Japanese' => 'ja',
+    'Dutch' => 'nl',
     'Spanish' => 'es'
     );
 # storage fields
diff -r 018e7c913b32 -r 8d2f0586eca6 unarchivemany.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/unarchivemany.sh	Mon Jun 20 17:21:30 2005 +0200
@@ -0,0 +1,43 @@
+#!/bin/bash
+
+VERSION="unarchivemany V0.1 (14.6.2005 ROC)"
+
+if [ -z "$1$2" ]
+then
+    echo $VERSION
+    echo "use: $0 docdir dirlist"
+    echo "  Unrchives the directories given in the file dirlist inside docdir."
+    exit 1
+fi
+
+BASEDIR="$1"
+DIRLIST="$2"
+
+if [ ! -d $BASEDIR ]
+then
+    echo "ERROR: base directory $BASEDIR not found!"
+    exit 1
+fi
+
+if [ ! -f $DIRLIST ]
+then
+    echo "ERROR: directory list file $DIRLIST not found!"
+    exit 1
+fi
+
+cat $DIRLIST | while read DIR
+do
+    if [ -d "$BASEDIR/$DIR" ]
+    then
+	echo "archiving $DIR..."
+	if /usr/local/mpiwg/archive/unarchiver "$BASEDIR/$DIR"
+	then
+	    echo "  done on `date`"
+	else
+	    echo "FAILED!"
+	    # abort?
+	fi
+    else
+	echo "ERROR: document directory $BASEDIR/$DIR not found!"
+    fi
+done