diff --git a/playbooks/judgehost-rebuild-chroot.yml b/playbooks/judgehost-rebuild-chroot.yml new file mode 100644 index 0000000..6183326 --- /dev/null +++ b/playbooks/judgehost-rebuild-chroot.yml @@ -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 diff --git a/roles/configure_judgehost/tasks/configure.yml b/roles/configure_judgehost/tasks/configure.yml index 9026705..27e0390 100644 --- a/roles/configure_judgehost/tasks/configure.yml +++ b/roles/configure_judgehost/tasks/configure.yml @@ -80,7 +80,7 @@ - name: Run misc-tools/dj_make_chroot tags: [chroot] ansible.builtin.command: | - ./misc-tools/dj_make_chroot -y -i kotlin + ./misc-tools/dj_make_chroot -i kotlin args: chdir: "{{ domjudge_base_dir }}" creates: /chroot/domjudge