diff options
Diffstat (limited to 'jenkins.conf')
| -rw-r--r-- | jenkins.conf | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/jenkins.conf b/jenkins.conf new file mode 100644 index 000000000000..5975142010e3 --- /dev/null +++ b/jenkins.conf @@ -0,0 +1,13 @@ +JAVA=/usr/bin/java +JAVA_ARGS=-Xmx512m +JAVA_OPTS= +JENKINS_USER=jenkins +JENKINS_HOME=/var/lib/jenkins +JENKINS_WAR=/usr/share/java/jenkins/jenkins.war +JENKINS_WEBROOT=--webroot=/var/cache/jenkins +JENKINS_PORT=--httpPort=8090 +JENKINS_AJPPORT=--ajp13Port=-1 +JENKINS_OPTS= +JENKINS_COMMAND_LINE="$JAVA $JAVA_ARGS $JAVA_OPTS -jar $JENKINS_WAR $JENKINS_WEBROOT $JENKINS_PORT $JENKINS_AJPPORT $JENKINS_OPTS" + +# vim:set ts=2 sw=2 et: |