Jenkins Infrastructure : ci.jenkins-ci.org

Where are things?

Jenkins is installed via the Debian package. The war lives in /usr/share/jenkins and JENKINS_HOME is /var/lib/jenkins and is owned by jenkins user. Use aptitude / apt-get to upgrade.

To bounce the server

sudo /etc/init.d/jenkins restart