forked from ISTI-ansible-roles/ansible-roles
76 lines
2.4 KiB
Django/Jinja
76 lines
2.4 KiB
Django/Jinja
# pulled in from the init script; makes things easier.
|
|
NAME=jenkins
|
|
|
|
# Java executable to run Jenkins
|
|
# When left empty, we'll try to find the suitable Java.
|
|
#
|
|
JENKINS_JAVA_CMD="{{ jenkins_java_path }}"
|
|
|
|
# arguments to pass to java
|
|
JAVA_ARGS="-server -Djava.awt.headless=true -Xmx{{ jenkins_jdk_xmx }}"
|
|
JAVA_ARGS="-Djava.net.preferIPv4Stack=true $JAVA_ARGS" # make jenkins listen on IPv4 address
|
|
JAVA_ARGS="$JAVA_ARGS {{ jenkins_jdk_gc_opts }}"
|
|
JAVA_ARGS="$JAVA_ARGS -Djenkins.install.runSetupWizard=false"
|
|
|
|
JENKINS_JAVA_OPTIONS="$JAVA_ARGS"
|
|
|
|
PIDFILE=/var/run/jenkins/jenkins.pid
|
|
|
|
# user id to be invoked as (otherwise will run as root; not wise!)
|
|
JENKINS_USER={{ jenkins_username }}
|
|
|
|
# location of the jenkins war file
|
|
{% if ansible_distribution_file_variety == "Debian" %}
|
|
JENKINS_WAR=/usr/share/jenkins/jenkins.war
|
|
{% else %}
|
|
JENKINS_WAR=/usr/lib/jenkins/jenkins.war
|
|
{% endif %}
|
|
|
|
# jenkins home location
|
|
JENKINS_HOME={{ jenkins_dest }}
|
|
|
|
# set this to false if you don't want Hudson to run by itself
|
|
# in this set up, you are expected to provide a servlet container
|
|
# to host jenkins.
|
|
RUN_STANDALONE=true
|
|
|
|
# log location. this may be a syslog facility.priority
|
|
JENKINS_LOG=/var/log/jenkins/$NAME.log
|
|
#HUDSON_LOG=daemon.info
|
|
JENKINS_DEBUG_LEVEL="5"
|
|
JENKINS_ENABLE_ACCESS_LOG="no"
|
|
JENKINS_HANDLER_MAX="100"
|
|
JENKINS_HANDLER_IDLE="20"
|
|
|
|
# OS LIMITS SETUP
|
|
# comment this out to observe /etc/security/limits.conf
|
|
# this is on by default because http://github.com/jenkinsci/jenkins/commit/2fb288474e980d0e7ff9c4a3b768874835a3e92e
|
|
# reported that Ubuntu's PAM configuration doesn't include pam_limits.so, and as a result the # of file
|
|
# descriptors are forced to 1024 regardless of /etc/security/limits.conf
|
|
MAXOPENFILES=8192
|
|
|
|
HTTP_HOST={{ jenkins_http_host }}
|
|
JENKINS_LISTEN_ADDRESS="${HTTP_HOST}"
|
|
|
|
# port for HTTP connector (default 8080; disable with -1)
|
|
HTTP_PORT={{ jenkins_http_port }}
|
|
JENKINS_PORT="${HTTP_PORT}"
|
|
|
|
# port for AJP connector (disabled by default)
|
|
AJP_PORT={{ jenkins_ajp_port }}
|
|
|
|
JENKINS_HTTPS_PORT=""
|
|
JENKINS_HTTPS_KEYSTORE=""
|
|
JENKINS_HTTPS_KEYSTORE_PASSWORD=""
|
|
JENKINS_HTTPS_LISTEN_ADDRESS=""
|
|
|
|
# servlet context, important if you want to use apache proxying
|
|
PREFIX=/{{ jenkins_servlet_context }}
|
|
|
|
{% if ansible_distribution_file_variety == "Debian" %}
|
|
JENKINS_ARGS="--webroot={{ jenkins_webroot }} --httpPort=$HTTP_PORT --ajp13Port=$AJP_PORT --httpListenAddress=$HTTP_HOST"
|
|
{% else %}
|
|
JENKINS_ARGS=""
|
|
{% endif %}
|
|
|