Add more safety precautions.

This commit is contained in:
2026-04-20 17:01:32 +01:00
parent f397c33ac0
commit 29d6ef5ad0

View File

@@ -13,4 +13,6 @@ git clone --depth 1 --branch main git@git.seanhealy.ie:sean/web-footer.git "$tmp
echo Re-personalising HTML files... >&2 echo Re-personalising HTML files... >&2
(cd "/tmp/web-footer" && ./automation/personalise.sh) (cd "/tmp/web-footer" && ./automation/personalise.sh)
echo Cleaning up... >&2 echo Cleaning up... >&2
rm -rf "$tmp_web_footer_dir" if [ "$tmp_web_footer_dir" ] && [ -d "$tmp_web_footer_dir" ] && [ -d "$tmp_web_footer_dir/.git" ]; then
rm -rf "$tmp_web_footer_dir"
fi