1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#!/bin/bash set -eu cd $HOME/bank git clean -fxd # like "git pull", but robust against force pushes # and local changes git fetch git reset --hard FETCH_HEAD ./bootstrap ./configure --prefix="$HOME/local" make make install