jenkinsci/jenkins — pull request #310 by oldelvet (2011-11-16 00:47:38+00:00)
Title: [FIXED JENKINS-11366] Jenkins takes up too much space in /var/run

Use /var/cache/jenkins to hold the unpacked jenkins.war file at runtime.

A number of users with smaller memory systems are reporting that their /var/run partition (actually /run on newer installs) is filling up due to the unpacked jenkins war file. Use /var/cache instead of /var/run to hold the unpacked war. This is the same that the Debian/Ubuntu tomcat6 packaging uses.

Existing installs will not be changed from /var/run to /var/cache if /etc/default/jenkins has been customized. This is inline with standard Debian policy. During upgrade the user will be prompted to resolve the changes in the configuration file. However the configuration will still continue to work if the user chooses to keep /var/run rather than moving to /var/cache.