-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
2 changed files
with
33 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,33 @@ | ||
# Judgehost | ||
|
||
This judgehost is modified from DOMjudge. | ||
|
||
Current base code version is v7.2.0. | ||
|
||
# Configuring judgehosts | ||
|
||
Note that there are several interactions in the configuration process. Please **don't simply copy** these commands into bash and run. Make sure you are currently running on **non-root user**. | ||
|
||
```bash | ||
# For apt install dependencies | ||
sudo ./dependency.sh | ||
|
||
# Configure and build | ||
# When upgrades are needed, running this section only | ||
./bootstrap | ||
./configure | ||
make | ||
sudo make install | ||
|
||
# Create the judgedaemon users, Setup systemd scripts | ||
# Running chroot builder and Configure the grub script | ||
# | ||
# NOTE that this will simply configure the /etc/default/grub | ||
# and do not guarantee the arguments are correctly installed | ||
# You may only run on the first install on a clean install | ||
sudo ./finalize.sh | ||
|
||
# Setup the corresponding count of judgehosts | ||
# NOTE that you may have to disable these manually if needed | ||
sudo ./setup-batch.sh | ||
``` |