2014-03-20 15:30:12 +01:00
|
|
|
# Config file for /etc/init.d/jenkins
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Directory where Jenkins store its configuration and working
|
|
|
|
|
# files (checkouts, build reports, artifacts, ...).
|
|
|
|
|
#
|
|
|
|
|
JENKINS_HOME="/var/lib/jenkins/home"
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Options to pass to java when running Jenkins.
|
|
|
|
|
#
|
|
|
|
|
JENKINS_JAVA_OPTIONS="-Djava.awt.headless=true"
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Port Jenkins is listening on.
|
|
|
|
|
#
|
|
|
|
|
JENKINS_PORT="8080"
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Debug level for logs -- the higher the value, the more verbose.
|
|
|
|
|
# 5 is INFO.
|
|
|
|
|
#
|
|
|
|
|
JENKINS_DEBUG_LEVEL="5"
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Whether to enable access logging or not.
|
|
|
|
|
#
|
|
|
|
|
JENKINS_ENABLE_ACCESS_LOG="no"
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Maximum number of HTTP worker threads.
|
|
|
|
|
#
|
|
|
|
|
JENKINS_HANDLER_MAX="100"
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Maximum number of idle HTTP worker threads.
|
|
|
|
|
#
|
|
|
|
|
JENKINS_HANDLER_IDLE="20"
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Pass arbitrary arguments to Jenkins.
|
|
|
|
|
# Eg.: --httpListenAddress=127.0.0.1 --prefix=/jenkins
|
|
|
|
|
# Full option list: java -jar jenkins.war --help
|
|
|
|
|
#
|
|
|
|
|
JENKINS_ARGS=""
|
2014-10-21 00:38:05 +02:00
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# User
|
|
|
|
|
#
|
|
|
|
|
JENKINS_USER=jenkins
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Pid File
|
|
|
|
|
#
|
|
|
|
|
JENKINS_PIDFILE="/var/run/jenkins.pid"
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# War File
|
|
|
|
|
#
|
|
|
|
|
JENKINS_WAR="/opt/jenkins/jenkins.war"
|
