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