1
0
Fork 0
mirror of https://git.sr.ht/~seirdy/seirdy.one synced 2024-12-24 09:52:09 +00:00

CI: delete extraneous files on host

This commit is contained in:
rohan kumar 2020-11-23 16:31:45 -08:00
parent 18ff772d5f
commit a41c9dc56d
No known key found for this signature in database
GPG key ID: 1E892DB2A5F84479

View file

@ -22,6 +22,6 @@ case "$1" in
;;
esac
rsync -rvzP --exclude "gemini" --exclude "*.gmi" public/ "$www_prefix/"
rsync -rvzP --exclude "*.html" public/gemini/ public/about public/posts "$gemini_prefix/"
rsync -rvzP public/posts/gemini.xml "$gemini_prefix/feed.xml"
rsync -avzP --exclude 'gemini' --exclude '*.gmi' --exclude 'misc/' --exclude 'music.txt' --exclude '.well-known' public/ "$www_prefix/" --delete
rsync -avzP --exclude '*.html' public/gemini/ public/about public/posts "$gemini_prefix/" --delete
rsync -avzP public/posts/gemini.xml "$gemini_prefix/feed.xml" --delete