Files
eressea-docker/docker-assets/backup-eressea.patch
2020-12-06 14:53:06 +01:00

26 lines
727 B
Diff

--- backup-eressea.org 2020-12-03 19:01:33.947594665 +0000
+++ backup-eressea 2020-12-03 19:39:46.489607175 +0000
@@ -3,12 +3,21 @@
ERESSEA=$HOME/eressea
echo "The ERESSEA environment variable is not set. Assuming $ERESSEA."
fi
+
GAME=$1
+# script can have 3 parameters
+# $1 = game number
+# $2 = turn
+# $3 = upload url
+# the upload url and hence the upload it only done, if all three parameter are given
+[ -n $3 ] && UPLOAD_WEBDAV_URL=$3
+
upload() {
+ [ -z $UPLOAD_WEBDAV_URL ] && return
SRC="$1"
DST=$(basename "$SRC")
- echo put "$SRC" "$DST" | cadaver "https://dav.box.com/dav/Eressea/game-$GAME/"
+ echo put "$SRC" "$DST" | cadaver "$UPLOAD_WEBDAV_URL"
}
if [ ! -d $ERESSEA/game-$GAME ]; then