#!/usr/bin/env bash # Executed over SSH on builds.sr.ht for my websites set -e gitrun() { git -C $dir reset --hard git -C $dir pull origin main --rebase } if [[ $1 == "gemini" ]]; then dir=/var/www/armaanb.net-gemini gitrun (cd /var/www/armaanb.net-gemini ; make) elif [[ $1 == "gopher" ]]; then dir=/var/www/armaanb.net-gopher gitrun elif [[ $1 == "fortune" ]]; then dir=/var/www/fortune-online gitrun elif [[ $1 == "http" ]]; then dir=/var/www/armaanb.net-http gitrun (cd /var/www/armaanb.net-http ; make -B) fi