diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2014-09-28 11:27:06 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2014-09-28 11:27:06 +0200 |
| commit | 23d28b7cbbea7121d063d5a39bae90fe02eb9f71 (patch) | |
| tree | 67582b9e9fc26e77ef198025996ffa4d06071cfe /etc/munin/munin.conf | |
| parent | 7a6eee49d49db578d68629c75db43b78fc0381c1 (diff) | |
| download | jenkins.debian.net-23d28b7cbbea7121d063d5a39bae90fe02eb9f71.tar.xz | |
move chroot and pbuilder builds to tmpfs
For this change update_jdn.sh will only work well, if jenkins is not
running. It avoids breaking running builds at the cost of potentially
not applying configuration. The changes are:
* /srv/workspace becomes a tmpfs mounted location
* /etc/init.d/jenkins-workspace creates subdirectories on that tmpfs
* Old locations for chroots and pbuilder are moved using symlinks.
Diffstat (limited to 'etc/munin/munin.conf')
0 files changed, 0 insertions, 0 deletions