From: Ralf Jung Date: Mon, 25 Nov 2024 17:05:10 +0000 (+0100) Subject: personal website: delete stale files X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/59bf25a0c1732f6a1bea9e5777bf9e7d03b8bbb5 personal website: delete stale files --- diff --git a/personal/.htaccess b/personal/.htaccess index 82a9324..2c97188 100644 --- 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" diff --git a/personal/upload.sh b/personal/upload.sh index aac35c4..76dac8b 100755 --- a/personal/upload.sh +++ b/personal/upload.sh @@ -8,4 +8,8 @@ git add . 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 f12a841..3acd9d5 100755 --- a/research/upload.sh +++ b/research/upload.sh @@ -8,4 +8,4 @@ git add . 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