Fix(judgehost): permission of /opt/domjudge
All checks were successful
Ansible Playbook lint / ansible-lint (push) Successful in 17s

This commit is contained in:
2025-04-08 13:07:44 +08:00
parent e6c8474efe
commit 055c70632e
4 changed files with 8 additions and 7 deletions

View File

@@ -79,10 +79,10 @@
- name: Run misc-tools/dj_make_chroot
ansible.builtin.command: |
./misc-tools/dj_make_chroot
./misc-tools/dj_make_chroot -y
args:
chdir: "{{ domjudge_base_dir }}"
changed_when: true
creates: /chroot/domjudge
- name: Modify boot options
ansible.builtin.lineinfile: