mirror of
https://git.sr.ht/~seirdy/seirdy.one
synced 2024-11-14 09:42:09 +00:00
38 lines
1.1 KiB
Bash
Executable file
38 lines
1.1 KiB
Bash
Executable file
#!/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' --exclude '*.xml' \
|
|
public/gemini/ public/about public/posts public/publickey.txt "$gemini_prefix/" --delete
|
|
rsync -avzP public/posts/gemini.xml "$gemini_prefix/feed.xml"
|