2017-05-23 15:14:14 +02:00
|
|
|
---
|
2017-08-23 02:00:42 +02:00
|
|
|
|
2017-05-23 15:14:14 +02:00
|
|
|
- name: Add jenkins GPG key
|
|
|
|
apt_key:
|
2017-07-12 12:10:14 +02:00
|
|
|
# url: https://jenkins-ci.org/debian/jenkins-ci.org.key
|
|
|
|
data: "{{ lookup('file', 'jenkins.key') }}"
|
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
|