set -e #Use an httpd service to run on port 80 #HTTP_PROXY="true" SERVER_NAME="ci.yourcompany.com" #List of plugins to install, comma separated list #full list of plugins available at: http://updates.jenkins-ci.org/download/plugins/ #JENKINS_PLUGINS="github-oauth,ircbot,debian-package-builder"