Add more safety.

This commit is contained in:
2026-04-20 15:47:12 +01:00
parent cb0f6fb90d
commit 360ceabc13

View File

@@ -16,10 +16,13 @@ function safely_remove_tmp_repos() {
echo "Warning: No git repositories found in '$repos'. Not deleting to prevent data loss."
rmdir "$repos" 2>/dev/null
return
fi
else
rm -rf "$repos"
fi
fi
if [ "$tmp_portfolio" ] && [ -d "$tmp_portfolio" ]; then
rm -r "$tmp_portfolio"
fi
}
function cleanup() {
safely_remove_tmp_repos