gitrun() {
git -C $dir reset --hard
- git -C $dir clean -fxd
- git -C $dir pull origin main --ff-only
+ git -C $dir pull origin main --rebase
}
if [[ $1 == "gemini" ]]; then
elif [[ $1 == "http" ]]; then
dir=/var/www/armaanb.net-http
gitrun
- (cd /var/www/armaanb.net-http ; make)
+ (cd /var/www/armaanb.net-http ; make -B)
fi