blob: 208dd285040838232b051a89e045cf9d90f5d6e2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
# 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"
|
