personal website: delete stale files

diff --git a/personal/.htaccess b/personal/.htaccess
index 82a932411d9573012418be812af9ce5201eedf7b..2c9718822caff99c5eca77f1e41ef39e9ea72919 100644 (file)
--- a/personal/.htaccess
+++ b/personal/.htaccess
@@ -1,2 +1,3 @@
+Redirect /projects/dsl /projects/lilass

 RedirectMatch "^/cs/(index.html?)?$" "/research"
 RedirectMatch "^/cs/bachelor(.*)$" "/research/bachelor/bachelor$1"
 RedirectMatch "^/cs/(index.html?)?$" "/research"
 RedirectMatch "^/cs/bachelor(.*)$" "/research/bachelor/bachelor$1"

diff --git a/personal/upload.sh b/personal/upload.sh
index aac35c48ad2a1d20138516a14a270b297596d370..76dac8be4e23d1530d7e4ea8a39c1aba17b3b1b8 100755 (executable)
--- a/personal/upload.sh
+++ b/personal/upload.sh
@@ -8,4 +8,8 @@ git add .
 git diff --cached
 git commit -m "site upload"
 
 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/*"

diff --git a/research/upload.sh b/research/upload.sh
index f12a8417b12d5a9df757393bdeb8d9845dc8af01..3acd9d56b1e3e8efd4ddbe87a677be1c2f050ee0 100755 (executable)
--- a/research/upload.sh
+++ b/research/upload.sh
@@ -8,4 +8,4 @@ git add .
 git diff --cached
 git commit -m "site upload"
 
 git diff --cached
 git commit -m "site upload"
 

-rsync ./ ralfj.de:/srv/research.ralfj.de/docroot/ -aP --exclude .git --delete
+rsync ./ ralfj.de:/srv/research.ralfj.de/docroot/ -aP --delete --exclude .git