Conversion format from Bash to Docker: www.git - Step 1

1 files changed, 29 insertions, 0 deletions

diff --git a/docker/sites-build/sh-files/update_www.sh b/docker/sites-build/sh-files/update_www.sh
new file mode 100755
index 0000000..62acd95
--- /dev/null
+++ b/docker/sites-build/sh-files/update_www.sh
@@ -0,0 +1,29 @@
+#!/bin/sh
+
+set -eu
+
+fetch () {
+  git clean -fdx
+  git fetch
+  # reset to updated upstream branch, but only if we're tracking a branch
+  branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo HEAD)
+  git reset --hard "$branch"
+}
+
+# Assumes the repo was already checked out once.
+cd $HOME/www
+
+git checkout stable -f
+fetch
+git submodule update --init --force
+./bootstrap
+./configure --baseurl="https://taler.net/" --prefix=$HOME/www.taler.net.wip
+make install
+
+chmod -R g+rx $HOME/www.taler.net.wip/
+
+# Clean up 'ancient' version (before previous)
+rm -rf $HOME/www.taler.net.old/
+# Finally, do two fast renames to make the current version active
+mv $HOME/www.taler.net/ $HOME/www.taler.net.old/ || true
+mv $HOME/www.taler.net.wip/ $HOME/www.taler.net/