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, 0 insertions, 62 deletions
diff --git a/dev-util/jenkins-bin/files/jenkins-bin.confd b/dev-util/jenkins-bin/files/jenkins-bin.confd deleted file mode 100644 index f84e3463e359..000000000000 --- a/dev-util/jenkins-bin/files/jenkins-bin.confd +++ /dev/null @@ -1,62 +0,0 @@ -# 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" |