#!/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" } # Assumes the repo was already checked out once. cd $HOME/www git checkout stable -f fetch git submodule update --init --force ./bootstrap ./configure --variant=www.taler.net --prefix=$HOME make uninstall make install chmod -R g+rx $HOME/www.taler.net/