diff --git a/push-results-to-server.sh b/push-results-to-server.sh new file mode 100755 index 0000000..1857ef5 --- /dev/null +++ b/push-results-to-server.sh @@ -0,0 +1,47 @@ +#!/usr/bin/env bash + +set -e + +SERVER=files.pharo.org +BASEDIR=/appli/files.pharo.org/books/enterprisepharo/book +SERVER_USER=filepharosync +TMP_DIR='~cassou/enterprisepharo-book' + +PILLAR_COMMAND="./pillar" + +chapters=$($PILLAR_COMMAND show inputFiles 2>/dev/null) + +ssh $SERVER sh < to-push/html/$(basename $html) + + # copy the figures + cp -R $(dirname $html)/figures/* to-push/html/figures/ 2>/dev/null || true +done + +cd to-push/html + +cd ../.. + +echo Pushing all files to $SERVER +scp -r to-push $SERVER:$TMP_DIR + +ssh $SERVER sh <