File tree Expand file tree Collapse file tree 36 files changed +203
-209
lines changed
prometheus_target_web/handlers Expand file tree Collapse file tree 36 files changed +203
-209
lines changed Original file line number Diff line number Diff line change 5
5
hosts : admin
6
6
vars :
7
7
host_type : admin
8
- become : yes
8
+ become : true
9
9
roles :
10
10
- role : base_packages
11
11
tags : base_packages
49
49
apt :
50
50
state : present
51
51
pkg :
52
- - gitk
53
- - git-gui
54
- - makepasswd
55
- - mmv
52
+ - gitk
53
+ - git-gui
54
+ - makepasswd
55
+ - mmv
56
56
57
57
- name : enable developer mode
58
58
lineinfile :
89
89
DJ_GIT_REPO_SCRIPTS : " {{ DJ_GIT_REPO_SCRIPTS_RESTRICTED if WF_RESTRICTED_NETWORK else DJ_GIT_REPO_SCRIPTS}}"
90
90
91
91
- name : create working copy of the domjudge-scripts repo
92
- become : yes
92
+ become : true
93
93
become_user : domjudge
94
94
# We use a different directory here to have one single 'upstream' and not have issues with it
95
95
git : repo={{DJ_GIT_REPO_SCRIPTS}} dest=/home/domjudge/domjudge-scripts-checkout version=main accept_hostkey=yes update=no
96
96
97
97
- name : create working copy of the wf2020 repo
98
- become : yes
98
+ become : true
99
99
become_user : domjudge
100
100
git : repo=git@cds:wf2020 dest=/home/domjudge/wf2020 version=master accept_hostkey=yes update=no
101
101
Original file line number Diff line number Diff line change 5
5
hosts : cds
6
6
vars :
7
7
host_type : cds
8
- become : yes
8
+ become : true
9
9
roles :
10
10
- role : base_packages
11
11
tags : base_packages
Original file line number Diff line number Diff line change 5
5
hosts : domserver
6
6
vars :
7
7
host_type : domserver
8
- become : yes
8
+ become : true
9
9
roles :
10
10
- role : base_packages
11
11
tags : base_packages
53
53
apt :
54
54
state : present
55
55
pkg :
56
- - python3-mysqldb
57
- - macchanger
58
- - molly-guard
56
+ - python3-mysqldb
57
+ - macchanger
58
+ - molly-guard
59
59
60
60
- name : disable developer mode
61
61
lineinfile :
67
67
synchronize :
68
68
src : files/domjudge-public/
69
69
dest : " {{DJ_DIR}}/webapp/public"
70
- owner : no
70
+ owner : false
71
71
use_ssh_args : true
72
72
notify : clear application cache
73
73
Original file line number Diff line number Diff line change 3
3
- hosts : grafana
4
4
vars :
5
5
host_type : grafana
6
- become : yes
6
+ become : true
7
7
roles :
8
8
- role : base_packages
9
9
tags : base_packages
Original file line number Diff line number Diff line change 2
2
---
3
3
- name : clear application cache
4
4
command : " {{DJ_DIR}}/webapp/bin/console cache:clear"
5
- become : yes
5
+ become : true
6
6
become_user : domjudge
Original file line number Diff line number Diff line change 3
3
4
4
- name : setup judgehost
5
5
hosts : judgehost
6
+ # We always leave 1/3 of the judges online
6
7
serial :
7
- - 33% # We always leave 1/3 of the judges online
8
+ - 33%
8
9
- 33%
9
10
- 34%
10
11
vars :
11
12
host_type : judgehost
12
- become : yes
13
+ become : true
13
14
roles :
14
15
- role : base_packages
15
16
tags : base_packages
Original file line number Diff line number Diff line change 5
5
hosts : mgmt
6
6
vars :
7
7
host_type : mgmt
8
- become : yes
8
+ become : true
9
9
roles :
10
10
- role : prometheus_target_all
11
11
tags : prometheus_target_all
Original file line number Diff line number Diff line change 47
47
apt :
48
48
state : absent
49
49
pkg :
50
- - apport
51
- - ntp
50
+ - apport
51
+ - ntp
52
52
53
53
- name : install common required/useful packages
54
54
apt :
55
55
state : present
56
56
pkg :
57
- - ack
58
- - git
59
- - htop
60
- - httpie
61
- - ncdu
62
- - pv
63
- - screen
64
- - autoconf
65
- - automake
66
- - efibootmgr
67
- - curl
68
- - gcc
69
- - g++
70
- - default-jdk-headless
71
- - make
72
- - zip
73
- - unzip
74
- - php-cli
75
- - php-gd
76
- - php-curl
77
- - php-mysql
78
- - php-json
79
- - php-xml
80
- - php-zip
81
- - php-mbstring
82
- - php-intl
83
- - bsdmainutils
84
- - libcgroup-dev
85
- - libcurl4-gnutls-dev
86
- - libjsoncpp-dev
87
- - libmagic-dev
88
- - debootstrap
89
- - texlive-latex-recommended
90
- - texlive-latex-extra
91
- - apache2-utils
92
- - tig
93
- - bat
94
- - jq
95
- - python3-sphinx
96
- - autoconf
97
- - automake
98
- - bats
99
- - python3-sphinx
100
- - python3-sphinx-rtd-theme
101
- - rst2pdf
102
- - fontconfig
103
- - python3-yaml
104
- - latexmk
105
- - acl
57
+ - ack
58
+ - git
59
+ - htop
60
+ - httpie
61
+ - ncdu
62
+ - pv
63
+ - screen
64
+ - autoconf
65
+ - automake
66
+ - efibootmgr
67
+ - curl
68
+ - gcc
69
+ - g++
70
+ - default-jdk-headless
71
+ - make
72
+ - zip
73
+ - unzip
74
+ - php-cli
75
+ - php-gd
76
+ - php-curl
77
+ - php-mysql
78
+ - php-json
79
+ - php-xml
80
+ - php-zip
81
+ - php-mbstring
82
+ - php-intl
83
+ - bsdmainutils
84
+ - libcgroup-dev
85
+ - libcurl4-gnutls-dev
86
+ - libjsoncpp-dev
87
+ - libmagic-dev
88
+ - debootstrap
89
+ - texlive-latex-recommended
90
+ - texlive-latex-extra
91
+ - apache2-utils
92
+ - tig
93
+ - bat
94
+ - jq
95
+ - python3-sphinx
96
+ - autoconf
97
+ - automake
98
+ - bats
99
+ - python3-sphinx
100
+ - python3-sphinx-rtd-theme
101
+ - rst2pdf
102
+ - fontconfig
103
+ - python3-yaml
104
+ - latexmk
105
+ - acl
106
106
107
107
- name : Check if composer is installed
108
108
stat :
Original file line number Diff line number Diff line change 5
5
shell : systemctl daemon-reload
6
6
7
7
- name : restart cds
8
- service : name=cds enabled=yes state=restarted
8
+ service : name=cds enabled=true state=restarted
9
9
10
10
- name : restart nginx
11
- service : name=nginx enabled=yes state=restarted
11
+ service : name=nginx enabled=true state=restarted
Original file line number Diff line number Diff line change 5
5
uri :
6
6
url : https://api.github.com/repos/icpctools/icpctools/releases?per_page=1
7
7
method : GET
8
- return_content : yes
8
+ return_content : true
9
9
status_code : 200
10
10
body_format : json
11
11
register : latest_cds_release_array
52
52
copy :
53
53
src : /root/CDS-{{ cds_version_minor }}/CDS.war
54
54
dest : /home/domjudge/cds/wlp/usr/servers/cds/apps/CDS.war
55
- remote_src : yes
55
+ remote_src : true
56
56
owner : domjudge
57
57
group : domjudge
58
58
when : cds_war.stat.exists
103
103
104
104
- name : Setup nginx
105
105
block :
106
- - name : install nginx
107
- apt :
108
- state : present
109
- pkg :
110
- - nginx
111
-
112
- - name : add CDS nginx conf
113
- template :
114
- src : cds.conf.j2
115
- dest : /etc/nginx/sites-available/cds.conf
116
- notify : restart nginx
117
-
118
- - name : enable nginx conf for CDS
119
- file :
120
- src : /etc/nginx/sites-available/cds.conf
121
- dest : /etc/nginx/sites-enabled/cds.conf
122
- state : link
123
- notify : restart nginx
124
-
125
- - name : disable default nginx site
126
- file :
127
- path : /etc/nginx/sites-enabled/default
128
- state : absent
129
- notify : restart nginx
106
+ - name : install nginx
107
+ apt :
108
+ state : present
109
+ pkg :
110
+ - nginx
111
+
112
+ - name : add CDS nginx conf
113
+ template :
114
+ src : cds.conf.j2
115
+ dest : /etc/nginx/sites-available/cds.conf
116
+ notify : restart nginx
117
+
118
+ - name : enable nginx conf for CDS
119
+ file :
120
+ src : /etc/nginx/sites-available/cds.conf
121
+ dest : /etc/nginx/sites-enabled/cds.conf
122
+ state : link
123
+ notify : restart nginx
124
+
125
+ - name : disable default nginx site
126
+ file :
127
+ path : /etc/nginx/sites-enabled/default
128
+ state : absent
129
+ notify : restart nginx
130
130
when : CDS_HOSTNAME is defined
You can’t perform that action at this time.
0 commit comments