jenkins/debian/debian/dirs at JENKINS-7535 · alexlehm/jenkins

Repository navigation

# moved from rules install

usr/share/jenkins

# this is where JENKINS_HOME is stored, so let's leave it as is for now

var/lib/jenkins

# Need to create jenkins's own directory to track the pid since the daemon is not run as root

# and doesn't have permission to write the pid to /var/run (which would be the preferred location).

var/run/jenkins

# Store jenkins log file in it's own directory since they can become rather large and in the future

# rotating logs can be easily added.

var/log/jenkins