# 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.