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: Add Jenkins GPG key
|
2023-03-20 23:33:19 +01:00
|
|
|
ansible.builtin.copy:
|
2021-05-03 14:23:13 +02:00
|
|
|
src: jenkins.asc
|
2022-11-02 23:15:17 +01:00
|
|
|
dest: "{{ apt_keyring_dir }}/jenkins.asc"
|
2021-05-03 14:23:13 +02:00
|
|
|
force: yes
|
|
|
|
mode: "0644"
|
2021-05-26 13:47:34 +02:00
|
|
|
owner: root
|
|
|
|
group: root
|
2017-05-23 15:14:14 +02:00
|
|
|
|
2023-03-19 11:44:53 +01:00
|
|
|
- name: Add Jenkins APT repository (Debian <12)
|
2023-03-20 23:33:19 +01:00
|
|
|
ansible.builtin.apt_repository:
|
2022-11-02 23:17:08 +01:00
|
|
|
repo: deb [signed-by={{ apt_keyring_dir }}/jenkins.asc] 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
|
2023-03-19 11:44:53 +01:00
|
|
|
when: ansible_distribution_major_version is version('12', '<')
|
2017-05-23 15:14:14 +02:00
|
|
|
|
2023-03-19 11:44:53 +01:00
|
|
|
- name: Add Jenkins repository (Debian >=12)
|
|
|
|
ansible.builtin.template:
|
|
|
|
src: jenkins.sources.j2
|
|
|
|
dest: /etc/apt/sources.list.d/jenkins.sources
|
|
|
|
state: present
|
|
|
|
register: jenkins_sources
|
|
|
|
when: ansible_distribution_major_version is version('12', '>=')
|
|
|
|
|
|
|
|
- name: Update APT cache
|
2023-03-20 23:33:19 +01:00
|
|
|
ansible.builtin.apt:
|
2022-12-02 15:17:42 +01:00
|
|
|
update_cache: yes
|
2023-03-19 11:44:53 +01:00
|
|
|
when: jenkins_sources is changed
|
2022-12-02 15:17:42 +01:00
|
|
|
|
2017-05-23 15:14:14 +02:00
|
|
|
- name: Install Jenkins
|
2023-03-20 23:33:19 +01:00
|
|
|
ansible.builtin.apt:
|
2017-05-23 15:14:14 +02:00
|
|
|
name: jenkins
|
2023-03-19 11:44:53 +01:00
|
|
|
state: present
|
2017-05-23 15:14:14 +02:00
|
|
|
|
|
|
|
- name: Change Jenkins port
|
2023-03-20 23:33:19 +01:00
|
|
|
ansible.builtin.replace:
|
2017-05-23 15:14:14 +02:00
|
|
|
name: /etc/default/jenkins
|
|
|
|
regexp: "^HTTP_PORT=.*$"
|
|
|
|
replace: "HTTP_PORT=8081"
|
|
|
|
notify: Restart Jenkins
|