#!/usr/bin/env bash
-# Executed over ssh on sr.ht CI/CD for my websites
+# Executed over SSH on builds.sr.ht for my websites
+
+set -e
gitrun() {
git -C $dir reset --hard
- git -C $dir clean -fxd
- git -C $dir pull --ff-only
+ git -C $dir pull origin main --rebase
}
if [[ $1 == "gemini" ]]; then
dir=/var/www/armaanb.net-gemini
gitrun
- (cd /var/www/armaanb.net-gemini ; python3 mdconvert.py)
+ (cd /var/www/armaanb.net-gemini ; make)
elif [[ $1 == "gopher" ]]; then
dir=/var/www/armaanb.net-gopher
gitrun
elif [[ $1 == "http" ]]; then
dir=/var/www/armaanb.net-http
gitrun
- (cd /var/www/armaanb.net-http ; bash rss-gen)
+ (cd /var/www/armaanb.net-http ; make -B)
fi