2017-03-31 19:39:09 +02:00
|
|
|
---
|
|
|
|
# There are some duplicates here
|
|
|
|
jenkins_dest: "/var/lib/jenkins"
|
|
|
|
jenkins_username: jenkins
|
|
|
|
jenkins_group: jenkins
|
2019-05-01 16:35:13 +02:00
|
|
|
jenkins_shell: /usr/bin/nologin
|
|
|
|
jenkins_slaves_via_ssh: True
|
2017-03-31 19:39:09 +02:00
|
|
|
|
2019-05-01 16:35:13 +02:00
|
|
|
|
|
|
|
# These should go away
|
|
|
|
jenkins_maven_config: False
|
2017-03-31 19:39:09 +02:00
|
|
|
jenkins_maven_settings_dirs:
|
|
|
|
- .m2
|
|
|
|
|
|
|
|
jenkins_maven_settings_url: http://localhost/settings.xml
|