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