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

CI: don't delete some files from the Gemini dir

This commit is contained in:
rohan kumar 2020-11-23 18:55:13 -08:00
parent e31cdd52ca
commit 01c4d1fde5
No known key found for this signature in database
GPG key ID: 1E892DB2A5F84479

View file

@ -23,5 +23,5 @@ case "$1" in
esac esac
rsync -avzP --exclude 'gemini' --exclude '*.gmi' --exclude 'misc/' --exclude 'music.txt' --exclude '.well-known' public/ "$www_prefix/" --delete 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 --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" --delete rsync -avzP public/posts/gemini.xml "$gemini_prefix/feed.xml"