2 # Executed over SSH on builds.sr.ht for my websites
7 git -C $dir reset --hard
9 git -C $dir pull origin main --ff-only
12 if [[ $1 == "gemini" ]]; then
13 dir=/var/www/armaanb.net-gemini
15 (cd /var/www/armaanb.net-gemini ; make)
16 elif [[ $1 == "gopher" ]]; then
17 dir=/var/www/armaanb.net-gopher
19 elif [[ $1 == "fortune" ]]; then
20 dir=/var/www/fortune-online
22 elif [[ $1 == "http" ]]; then
23 dir=/var/www/armaanb.net-http
25 (cd /var/www/armaanb.net-http ; make)