2017-05-23 15:14:14 +02:00
|
|
|
---
|
2017-08-23 02:00:42 +02:00
|
|
|
|
2017-11-26 19:29:56 +01:00
|
|
|
## TODO: add those URLs or domains to the proxy whitelist
|
|
|
|
|
# http://pkg.jenkins-ci.org/.*
|
|
|
|
|
# http://mirrors.jenkins.io/.*
|
|
|
|
|
# http://jenkins.mirror.isppower.de/.*
|
|
|
|
|
|
2021-05-03 14:23:13 +02:00
|
|
|
- name: Jenkins GPG embedded key is absent
|
2017-05-23 15:14:14 +02:00
|
|
|
apt_key:
|
2021-05-03 14:23:13 +02:00
|
|
|
id: "D50582E6"
|
|
|
|
|
state: absent
|
|
|
|
|
|
|
|
|
|
- name: Add Jenkins GPG key
|
|
|
|
|
copy:
|
|
|
|
|
src: jenkins.asc
|
|
|
|
|
dest: /etc/apt/trusted.gpg.d/jenkins.asc
|
|
|
|
|
force: yes
|
|
|
|
|
mode: "0644"
|
2017-05-23 15:14:14 +02:00
|
|
|
|
|
|
|
|
- name: Add jenkins APT repository
|
|
|
|
|
apt_repository:
|
|
|
|
|
repo: deb http://pkg.jenkins-ci.org/debian-stable binary/
|
2017-08-23 02:00:42 +02:00
|
|
|
filename: jenkins
|
2017-05-23 15:14:14 +02:00
|
|
|
update_cache: yes
|
|
|
|
|
|
|
|
|
|
- name: Install Jenkins
|
|
|
|
|
apt:
|
|
|
|
|
name: jenkins
|
|
|
|
|
|
|
|
|
|
- name: Change Jenkins port
|
|
|
|
|
replace:
|
|
|
|
|
name: /etc/default/jenkins
|
|
|
|
|
regexp: "^HTTP_PORT=.*$"
|
|
|
|
|
replace: "HTTP_PORT=8081"
|
|
|
|
|
notify: Restart Jenkins
|
