commit 1558339e42a14668bd6b756b08225d0b8aa0289e parent a0be48f1570cc81832804a082a422e692f496ef1 Author: Hernâni Marques <hernani@vecirex.net> Date: Wed, 6 May 2026 17:46:19 +0200 stage.taler-ops.ch to be built upon master branch Diffstat:
| A | worker-sites/update_taler-ops_stage.sh | | | 36 | ++++++++++++++++++++++++++++++++++++ |
1 file changed, 36 insertions(+), 0 deletions(-)
diff --git a/worker-sites/update_taler-ops_stage.sh b/worker-sites/update_taler-ops_stage.sh @@ -0,0 +1,36 @@ +#!/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_stage + +git checkout master -f +fetch +git submodule update --init --force +./bootstrap +./configure --baseurl="https://stage.taler-ops.ch/" --prefix=$HOME/stage.taler-ops.ch.wip +make build-site +make parcel &> /dev/null || true # segfaults on server, not sure why +make parcel # 2nd run works... +make install-files + +chmod -R g+rx $HOME/stage.taler-ops.ch.wip/ + +# Clean up 'ancient' version (before previous) +rm -rf $HOME/stage.taler-ops.ch.old/ +# Finally, do two fast renames to make the current version active +mv $HOME/stage.taler-ops.ch/ $HOME/stage.taler-ops.ch.old/ || true +mv $HOME/stage.taler-ops.ch.wip/ $HOME/stage.taler-ops.ch/ + +cd + +rsync -av --rsh=ssh stage.taler-ops.ch www@taler-ops.ch:.