Ansible / domjudge

Usage

0. Install Arch Linux for domserver and Debian 11 for judgehost.
1. Fill in the vars in group_vars.
2. Fill in domserver and judgehost groups in hosts file.
3. Run ansible-playbook playbooks/domserver.
4. Run ansible-playbook playbooks/judgehost.
5. Put web cert and key to /etc/haproxy/cert.pem on domserver.
6. Check if judgehost been registered.

Trouble shooting

Judgehost cannot startup

The cgroups v2 support had been patched since October, 2024. However the latest release of domjudge is 8.3.1, which was published on September, 2024.

Therefore, before cgroups v2 patch came out as a stable release, we still have to use a older release, like Debian 11, to make things work.