From bf855f05274d4130d7ae3af587f6d6eec0a4c94f Mon Sep 17 00:00:00 2001
From: Damien Cassou <damien@cassou.me>
Date: Fri, 17 Jul 2015 11:28:44 +0200
Subject: [PATCH] Script to push the generated files to a server

---
 push-results-to-server.sh | 47 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100755 push-results-to-server.sh

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 <<EOF
+sudo su --login --command "mkdir -p \"$BASEDIR\"" "$SERVER_USER"
+rm -rf $TMP_DIR
+mkdir $TMP_DIR
+EOF
+
+rm -rf to-push
+mkdir -p to-push/html/figures
+cp book-result/EnterprisePharo.pdf to-push/
+
+# Push all css/js files
+cp -R support/html/* to-push/html
+
+# Push all .html chapters
+for chapter in $chapters; do
+    html="${chapter%%.*}.html"
+
+    # Hack to change the references to support files (e.g., .css, .js)
+    sed 'sX../support/html/XX' $html > 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 <<EOF
+sudo su --login --command "cp -R $TMP_DIR/to-push/* $BASEDIR" filepharosync
+EOF