Fix(judgehost): works with Debian12 + docker

This commit is contained in:
2025-04-07 20:32:38 +08:00
parent 320037ecdf
commit 83a95fe49c
12 changed files with 231 additions and 31 deletions

View File

@@ -2,7 +2,7 @@
## Usage
0. Install Arch Linux for domserver and **Debian 11** for judgehost.
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`.
@@ -12,10 +12,18 @@
## 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 11, to make things work.
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.