File tree Expand file tree Collapse file tree 5 files changed +1
-17
lines changed Expand file tree Collapse file tree 5 files changed +1
-17
lines changed Original file line number Diff line number Diff line change 49
49
dest : " {{DJ_DIR}}/webapp/.env.local"
50
50
51
51
- name : install contest images
52
- become : no
53
- tags : sync
54
52
synchronize :
55
53
src : files/domjudge-public/
56
54
dest : " {{DJ_DIR}}/webapp/public"
Original file line number Diff line number Diff line change 2
2
# These tasks configure clusterssh
3
3
4
4
- name : install clusterssh package
5
- tags : packages
6
5
apt :
7
6
state : present
8
7
pkg :
Original file line number Diff line number Diff line change 15
15
register : git_working_copy
16
16
17
17
- name : Check composer dependencies present
18
+ become : no
18
19
local_action : stat path=files/lib/vendor
19
20
register : libvendor
20
- become : no
21
21
22
22
- name : Copy in composer dependencies (if they exist locally)
23
- become : no
24
- tags : sync
25
23
synchronize :
26
24
src : files/lib/vendor/
27
25
dest : " {{DJ_DIR}}/lib/vendor/"
Original file line number Diff line number Diff line change 25
25
when : " 'failed' in db_status.stdout"
26
26
27
27
- name : install required packages
28
- tags : packages
29
28
apt :
30
29
state : present
31
30
pkg :
Original file line number Diff line number Diff line change 2
2
# These tasks install PHPStorm
3
3
4
4
- name : Copy in PHPStorm
5
- become : no
6
- tags : sync
7
5
synchronize :
8
6
src : PhpStorm-{{ PHPSTORM_FULL_VERSION }}
9
7
dest : " /phpstorm"
10
8
owner : no
11
9
use_ssh_args : true
12
10
13
11
- name : Copy in PHPStorm config
14
- become : no
15
- tags : sync
16
12
synchronize :
17
13
src : PhpStorm{{ PHPSTORM_VERSION }}
18
14
dest : " /home/domjudge/.config/JetBrains"
19
15
owner : no
20
16
use_ssh_args : true
21
17
22
18
- name : Copy in PHPStorm jdbc drivers
23
- become : no
24
- tags : sync
25
19
synchronize :
26
20
src : jdbc-drivers
27
21
dest : " /home/domjudge/.config/JetBrains/PhpStorm{{ PHPSTORM_VERSION }}/"
44
38
mode : ' 0755'
45
39
46
40
- name : Copy in PHPStorm local share
47
- become : no
48
- tags : sync
49
41
synchronize :
50
42
src : PhpStorm{{ PHPSTORM_VERSION }}-local-share/
51
43
dest : " /home/domjudge/.local/share/JetBrains/PhpStorm{{ PHPSTORM_VERSION }}"
61
53
group : domjudge
62
54
63
55
- name : Copy in PHPStorm settings for repo
64
- become : no
65
- tags : sync
66
56
synchronize :
67
57
src : .idea
68
58
dest : " {{DJ_DIR}}"
You can’t perform that action at this time.
0 commit comments