#!/bin/bash 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" } # Local checkout must exist. cd $HOME/www git checkout master -f fetch git submodule update --init --force # Generate current version under 'work in progress' (wip) folder ./bootstrap ./configure --variant=stage.taler.net.wip --baseurl="https://stage.taler.net/" --prefix=$HOME make install chmod -R g+rx $HOME/stage.taler.net.wip/ # Clean up 'ancient' version (before previous) rm -rf $HOME/stage.taler.net.old/ # Finally, do two fast renames to make the current version active mv $HOME/stage.taler.net/ $HOME/stage.taler.net.old/ || true mv $HOME/stage.taler.net.wip/ $HOME/stage.taler.net/