From c7e36cec815723c90730387f2326b7f5ce76a842 Mon Sep 17 00:00:00 2001
From: Michael Herzberg <mail@michael-herzberg.de>
Date: Wed, 30 Aug 2017 10:11:25 +0100
Subject: [PATCH] Exclude archive dir when pushing to sharc.

---
 sge/create-db.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sge/create-db.sh b/sge/create-db.sh
index d739bc5..fcc1d04 100755
--- a/sge/create-db.sh
+++ b/sge/create-db.sh
@@ -14,7 +14,7 @@ ssh sharc.shef.ac.uk mkdir -p $TARGETDIR/logs
 ssh sharc.shef.ac.uk mkdir -p $TARGETDIR/out
 
 echo "Pushing $BASEDIR to sharc.shef.ac.uk:$TARGETDIR/ExtensionCrawler ..."
-rsync -zr "$BASEDIR/" sharc.shef.ac.uk:"$TARGETDIR/ExtensionCrawler"
+rsync -zr --exclude "$BASEDIR/archive" "$BASEDIR/" sharc.shef.ac.uk:"$TARGETDIR/ExtensionCrawler"
 
 echo "Starting job ..."
 ssh sharc.shef.ac.uk \