commit 986950338aa32943968353f3efa5981573184d04
parent 62b88f4525a7d0bb539c980604126e4117c5df65
Author: Christian Grothoff <christian@grothoff.org>
Date: Sat, 18 Jan 2025 18:48:52 +0100
new site builders
Diffstat:
3 files changed, 91 insertions(+), 0 deletions(-)
diff --git a/worker-sites/update_anastasis.sh b/worker-sites/update_anastasis.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/anastasis-www
+
+git checkout stable -f
+fetch
+git submodule update --init --force
+./bootstrap
+./configure --baseurl="https://anastasis.lu/" --prefix=$HOME/www.anastasis.lu.wip
+make install
+
+chmod -R g+rx $HOME/www.anastasis.lu.wip/
+
+# Clean up 'ancient' version (before previous)
+rm -rf $HOME/www.anastasis.lu.old/
+# Finally, do two fast renames to make the current version active
+mv $HOME/www.anastasis.lu/ $HOME/www.anastasis.lu.old/ || true
+mv $HOME/www.anastasis.lu.wip/ $HOME/www.anastasis.lu/
diff --git a/worker-sites/update_taler-ops.sh b/worker-sites/update_taler-ops.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/taler-ops-www
+
+git checkout stable -f
+fetch
+git submodule update --init --force
+./bootstrap
+./configure --baseurl="https://taler-ops.ch/" --prefix=$HOME/www.taler-ops.ch.wip
+make install
+
+chmod -R g+rx $HOME/www.taler-ops.ch.wip/
+
+# Clean up 'ancient' version (before previous)
+rm -rf $HOME/www.taler-ops.ch.old/
+# Finally, do two fast renames to make the current version active
+mv $HOME/www.taler-ops.ch/ $HOME/www.taler-ops.ch.old/ || true
+mv $HOME/www.taler-ops.ch.wip/ $HOME/www.taler-ops.ch/
diff --git a/worker-sites/update_taler-systems.sh b/worker-sites/update_taler-systems.sh
@@ -0,0 +1,33 @@
+#!/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/taler-systems-www
+
+git checkout stable -f
+fetch
+git submodule update --init --force
+./bootstrap
+./configure --baseurl="https://taler-systems.com/" --prefix=$HOME/www.taler-systems.com.wip
+make install
+
+chmod -R g+rx $HOME/www.taler-systems.com.wip/
+
+# Clean up 'ancient' version (before previous)
+rm -rf $HOME/www.taler-systems.com.old/
+# Finally, do two fast renames to make the current version active
+mv $HOME/www.taler-systems.com/ $HOME/www.taler-systems.com.old/ || true
+mv $HOME/www.taler-systems.com.wip/ $HOME/www.taler-systems.com/
+
+cd
+
+rsync -av --rsh=ssh www.taler-systems.com www@taler-systems.com:.