-
Notifications
You must be signed in to change notification settings - Fork 11
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
Michael Vasseur
committed
Oct 23, 2023
1 parent
b96977c
commit d0856a0
Showing
3 changed files
with
6 additions
and
34 deletions.
There are no files selected for viewing
10 changes: 3 additions & 7 deletions
10
provision-contest/ansible/group_vars/analyst/all.yml.example
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 |
|---|---|---|
| @@ -1,16 +1,12 @@ | ||
| # Server VLAN IP prefix. | ||
| SERVER_IP_PREFIX: 10.3.3 | ||
|
|
||
| # IP address of the admin machine used as ansible and git server. | ||
| MAIN_ADMIN_IP: "{{SERVER_IP_PREFIX}}.223" | ||
| SERVER_IP_PREFIX: 172.29.1 | ||
|
|
||
| # URL and IP of domserver from judgehosts. A hostname 'domserver' with | ||
| # DOMSERVER_IP will be added to the judgehost /etc/hosts file. | ||
| DOMSERVER: https://domjudge | ||
| DOMSERVER_IP: "{{SERVER_IP_PREFIX}}.215" | ||
| DOMSERVER_URL: "{{DOMSERVER}}" | ||
| DOMSERVER_IP: "{{SERVER_IP_PREFIX}}.240" | ||
|
|
||
| # Set this when on the blue network at the World Finals where no | ||
| # internet access is available and "packages" must be used as APT repo | ||
| # server. | ||
| WF_GREEN: false | ||
| WF_GREEN: true |
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 |
|---|---|---|
| @@ -1,16 +1,4 @@ | ||
| # Server VLAN IP prefix. | ||
| SERVER_IP_PREFIX: 10.3.3 | ||
|
|
||
| # IP address of the admin machine used as ansible and git server. | ||
| MAIN_ADMIN_IP: "{{SERVER_IP_PREFIX}}.223" | ||
|
|
||
| # URL and IP of domserver from judgehosts. A hostname 'domserver' with | ||
| # DOMSERVER_IP will be added to the judgehost /etc/hosts file. | ||
| DOMSERVER: https://domjudge | ||
| DOMSERVER: https://domserver-wf46 | ||
| DOMSERVER_IP: "{{SERVER_IP_PREFIX}}.215" | ||
| DOMSERVER_URL: "{{DOMSERVER}}" | ||
|
|
||
| # Set this when on the blue network at the World Finals where no | ||
| # internet access is available and "packages" must be used as APT repo | ||
| # server. | ||
| WF_GREEN: false |
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 |
|---|---|---|
| @@ -1,16 +1,4 @@ | ||
| # Server VLAN IP prefix. | ||
| SERVER_IP_PREFIX: 10.3.3 | ||
|
|
||
| # IP address of the admin machine used as ansible and git server. | ||
| MAIN_ADMIN_IP: "{{SERVER_IP_PREFIX}}.223" | ||
|
|
||
| # URL and IP of domserver from judgehosts. A hostname 'domserver' with | ||
| # DOMSERVER_IP will be added to the judgehost /etc/hosts file. | ||
| DOMSERVER: https://domjudge | ||
| DOMSERVER_IP: "{{SERVER_IP_PREFIX}}.215" | ||
| DOMSERVER_URL: "{{DOMSERVER}}" | ||
|
|
||
| # Set this when on the blue network at the World Finals where no | ||
| # internet access is available and "packages" must be used as APT repo | ||
| # server. | ||
| WF_GREEN: false | ||
| DOMSERVER: https://domjudge-wf47 | ||
| DOMSERVER_IP: "{{SERVER_IP_PREFIX}}.219" |