From a41c9dc56defb38649735fcea184b65c60972d85 Mon Sep 17 00:00:00 2001 From: rohan kumar Date: Mon, 23 Nov 2020 16:31:45 -0800 Subject: [PATCH] CI: delete extraneous files on host --- deploy.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/deploy.sh b/deploy.sh index 090811b..fd873fa 100755 --- a/deploy.sh +++ b/deploy.sh @@ -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