# 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"