3.15 其他可配置脚本

还有一些地方可以进行系统配置; 有时在非标准环境中需要这些

• 在 judgehost 的 bin/dj_make_chroot 中, 可以对变量进行一些修改, 尤其是变量 DEBMIRROR 以选择你附近的 Debian 镜像站点

• 可以修改脚本 lib/judge/chroot-startstop.sh 以适应比的本地环境; 详情请参阅该文件中的注释