This page describes how to set up a machine to run the current ICPC World Finals Contest OS image (the "WF OS"). The contest image consists of the Ubuntu Linux operating system and its tools and utilities, together with contest-specific software such as various IDEs and language compilers to be used for the contest.
Note: if you are a contest administrator or staff member involved in managing multiple WF OS machines (for example, setting up a laboratory to host multiple teams, or managing and updating the WF OS configuration), you may be interested in additional information provided at Additional Information for Contest Administrators. Also, if you have trouble with the following instructions you may contact Joe Terlizzi at joe.terlizzi@icpc.global.
There are many tools which can be used to create a bootable thumb drive from the downloaded compressed IMG file. One such tool for creating an image from a Windows system, which we have used successfully many times is Rufus (more info can be found here).
Another tool is balenaEtcher, which we have tested under both MS Windows and MacOS.
Both tools above will uncompress the IMG automatically. However, you can use any tool you like as long as it can create an EFI bootable image from the compressed (or manually uncompresed) IMG file.
[1] This is a common source of confusion for people new to Ubuntu. There is no default password on the root account, and there is no point during the Ubuntu installation where you are asked to provide one (as is typical on other Linux installations, e.g. Fedora and CentOS). [Actually, saying "there is no password" is a bit misleading, as it implies you can login without providing a password - which would be a major security hole. Technically, the root account by default exists but is "locked out" -- that is, there is NO password which will be accepted to allow a login to that account.]
The way Ubuntu provides root access is as follows. This image includes a team user with a password of contest. When you login using this account, you can execute commands which require root privilege simply by preceding the command with "sudo". For example, to create a new account named "team999" which is in group 3000 you would type the following:
sudo adduser --gid 3000 team999This will prompt for the current account password (NOT the root password), and then execute the command as root. If you have a bunch of root-level operations to do and get tired of typing "sudo" in front of every command, you can instead type sudo bash. This will start a (bash) shell (after first prompting for the account password); that shell will display the standard "root prompt" (#) and will execute every command typed as root. (The command sudo -i is similar but has the effect that the default shell is used and the shell reads the standard initialization files, such as .profile and .login).
Tampering with the operation of the Contest Image that is use for the regional contest is grounds for disqualifcation. You are not permitted to make changes to the image you intend to use for the actual contest.
Revised: Tue Oct 22 18:49:28 UTC 2024