diff options
Diffstat (limited to 'dev-util/jenkins-bin/files/jenkins-bin.confd')
-rw-r--r-- | dev-util/jenkins-bin/files/jenkins-bin.confd | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/dev-util/jenkins-bin/files/jenkins-bin.confd b/dev-util/jenkins-bin/files/jenkins-bin.confd new file mode 100644 index 000000000000..f84e3463e359 --- /dev/null +++ b/dev-util/jenkins-bin/files/jenkins-bin.confd @@ -0,0 +1,62 @@ +# 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="" + +# +# User +# +JENKINS_USER=jenkins + + + +# +# Pid File +# +JENKINS_PIDFILE="/var/run/jenkins.pid" + +# +# War File +# +JENKINS_WAR="/opt/jenkins/jenkins.war" |