2 # Executed over SSH on builds.sr.ht for my websites
7 git -C $dir reset --hard
8 git -C $dir pull origin main --rebase
11 if [[ $1 == "gemini" ]]; then
12 dir=/var/www/armaanb.net-gemini
14 (cd /var/www/armaanb.net-gemini ; make)
15 elif [[ $1 == "gopher" ]]; then
16 dir=/var/www/armaanb.net-gopher
18 elif [[ $1 == "fortune" ]]; then
19 dir=/var/www/fortune-online
21 elif [[ $1 == "http" ]]; then
22 dir=/var/www/armaanb.net-http
24 (cd /var/www/armaanb.net-http ; make -B)