add chall tracker to deployment

2026-10-20 16:57:06 +02:00
parent e8a04fe415
commit e5862e8229
5 changed files with 115 additions and 10 deletions
@@ -12,6 +12,8 @@ units="${XDG_CONFIG_HOME:-$HOME/.config}/systemd/user"
    echo "no $dir/ctf_status.env — copy ctf_status.env.example to it first" >&2; exit 1; }
 grep -q '^HEDGEDOC_NOTE=..*' "$dir/ctf_status.env" || {
    echo "set HEDGEDOC_NOTE=<note url> in $dir/ctf_status.env first" >&2; exit 1; }
+grep -q '^CHALLS_REPO_URL=..*' "$dir/ctf_status.env" || {
+    echo "set CHALLS_REPO_URL=<deployment repo url> in $dir/ctf_status.env first" >&2; exit 1; }
 chmod 600 "$dir/ctf_status.env"

 mkdir -p "$units"