diff options
Diffstat (limited to 'dev-util/jenkins-bin/files/jenkins-bin-r1.confd')
-rw-r--r-- | dev-util/jenkins-bin/files/jenkins-bin-r1.confd | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/dev-util/jenkins-bin/files/jenkins-bin-r1.confd b/dev-util/jenkins-bin/files/jenkins-bin-r1.confd new file mode 100644 index 000000000000..6bb38f3e6ce3 --- /dev/null +++ b/dev-util/jenkins-bin/files/jenkins-bin-r1.confd @@ -0,0 +1,52 @@ +# 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" + +# +# 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" |