Ansible/domjudge

Go to file

Yi-Ting Shih bc70766c19

Ansible Playbook lint / ansible-lint (push) Successful in 17s

Details

Fix(domserver): docker compose mount point

2025-04-10 21:58:00 +08:00

.gitea/workflows

Feat(workflows): add lint

2025-04-07 20:37:36 +08:00

Fix(judgehost): works with Debian12 + docker

2025-04-07 20:32:38 +08:00

Fix(judgehost): force rebuild chroot

2025-04-10 03:14:19 +08:00

Fix(domserver): docker compose mount point

2025-04-10 21:58:00 +08:00

.gitignore

Fix(domserver): php being php

2025-04-06 19:05:13 +08:00

ansible.cfg

Feat(domserver): docker compose testing

2025-04-06 18:12:58 +08:00

hosts

Fix(judgehost): permission of /opt/domjudge

2025-04-08 13:07:44 +08:00

README.md

Fix(judgehost): works with Debian12 + docker

2025-04-07 20:32:38 +08:00

README.md

Ansible / domjudge

Usage

Install Arch Linux for domserver and Debian 12 for judgehost.
Fill in the vars in group_vars.
Fill in domserver and judgehost groups in hosts file.
Run ansible-playbook playbooks/domserver.
Run ansible-playbook playbooks/judgehost.
Put web cert and key to /etc/haproxy/cert.pem on domserver.
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.