personal website: delete stale files

[web.git] / personal / upload.sh

diff --git a/personal/upload.sh b/personal/upload.sh
index 2d9205e38214e03dec7fcaba986554b108380249..76dac8be4e23d1530d7e4ea8a39c1aba17b3b1b8 100755 (executable)
--- a/personal/upload.sh
+++ b/personal/upload.sh
@@ -5,9 +5,11 @@ jekyll build
 cd _site
 
 git add .
-if ! git diff --cached; then
-    # There are changes
-    git commit -m "site upload"
-fi
+git diff --cached
+git commit -m "site upload"
 
-rsync ./ www.ralfj.de:/srv/www.ralfj.de/docroot/ -aP --exclude .git
+# To include `projects/rust-101/index.html` while excluding the rest of that folder, we have to
+# write the exclusion as ".../*", or else rsync would not even descend into that directory.
+rsync ./ www.ralfj.de:/srv/www.ralfj.de/docroot/ -aP --delete \
+    --include projects/rust-101/index.html \
+    --exclude .git --exclude cs --exclude upload --exclude "projects/rust-101/*"