1
0
Fork 0
mirror of https://git.sr.ht/~seirdy/seirdy.one synced 2024-11-10 08:12:11 +00:00
seirdy.one/deploy.sh

39 lines
1 KiB
Bash
Raw Normal View History

#!/bin/sh
case "$1" in
seirdy.one)
login='deploy@seirdy.one' # user@host
www_prefix="$login:/var/www/seirdy.one"
gemini_prefix="$login:/srv/gemini/seirdy.one"
;;
envs.net)
login='seirdy@envs.net'
www_prefix="$login:/home/seirdy/public_html"
gemini_prefix="$login:/home/seirdy/public_gemini"
;;
localhost)
www_prefix='/tmp/www/seeirdy.one'
gemini_prefix='/tmp/gemini/serve/seirdy.one'
mkdir -p "$www_prefix" "$gemini_prefix"
;;
*)
echo 'must supply hostname' >&2
exit 1
;;
esac
# I use gzip_static with nginx
if [ "$1" = 'seirdy.one' ]; then
find public -type f -name '*.html' -o -name '*.css' -o -name '*.xml' -o -name '*.txt' \
| grep -v gemini \
| xargs zopfli
fi
rsync -avzP \
--exclude 'gemini' --exclude '*.gmi' --exclude 'misc/' --exclude 'music.txt' --exclude '.well-known' \
public/ "$www_prefix/" --delete
rsync -avzP \
--exclude '*.html' --exclude 'misc/' --exclude 'music.txt' \
public/gemini/ public/about public/posts "$gemini_prefix/" --delete
rsync -avzP public/posts/gemini.xml "$gemini_prefix/feed.xml"