domjudge/README.md

Ansible / domjudge

Usage

0. Install Arch Linux for domserver and Debian 12 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

I give up

Just use Debian 12 + docker.

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 12, to make things work.

PHP syntax error

PHP version on Debian 11 is too old, use Debian 12 instead.