jenkinsci/puppet-jenkins — pull request #35 by ngiger (2013-09-22 10:59:54+00:00)
Title: Allow jenkins to choose the home directory

Hi

I am working with servers where the admin wants jenkins to be installed into /srv/jenkins, resp. /home/jenkins.

This patch allows me to specify a JENKINS_HOME.

Thanks in advance

Best regards