Ansible/domjudge
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Feat(judgehost): add playbook for rebuild chroot
All checks were successful
Ansible Playbook lint / ansible-lint (push) Successful in 16s
Details

Browse Source
This commit is contained in:
Yi-Ting Shih
2025-04-10 03:13:17 +08:00
parent 935ae15ef3
commit 46b2e1d4b1
2 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
playbooks/judgehost-rebuild-chroot.yml Normal file
View File

@@ -0,0 +1,9 @@
- name: Rebuild chroot environment for judgehosts
hosts: judgehost
tasks:
- name: Run misc-tools/dj_make_chroot
ansible.builtin.command: |
./misc-tools/dj_make_chroot -y -i kotlin
args:
chdir: "{{ domjudge_base_dir }}"
creates: /chroot/domjudge

2
roles/configure_judgehost/tasks/configure.yml
View File

@@ -80,7 +80,7 @@
- name: Run misc-tools/dj_make_chroot - name: Run misc-tools/dj_make_chroot
tags: [chroot] tags: [chroot]
ansible.builtin.command: | ansible.builtin.command: |
./misc-tools/dj_make_chroot -y -i kotlin ./misc-tools/dj_make_chroot -i kotlin
args: args:
chdir: "{{ domjudge_base_dir }}" chdir: "{{ domjudge_base_dir }}"
creates: /chroot/domjudge creates: /chroot/domjudge