diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-06-01 09:21:06 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-06-01 11:33:32 +0200 |
| commit | cad6f46843c4949815011c3e437d7afbe4821917 (patch) | |
| tree | 1650d688c4f3ad47529c011f3e14888dca53653a /hosts/odxu4b-armhf-rb/etc/munin/plugin-conf.d/df | |
| parent | 647a1759dead6cb0fce32708c73ffc03c62fbef8 (diff) | |
| download | jenkins.debian.net-cad6f46843c4949815011c3e437d7afbe4821917.tar.xz | |
reproducible debian: vary HOME between builds
This is done by setting the BUILD_HOME pbuilder conf value in the temporary
pbuilderrc, which is then used by pbuilder to set HOME.
Remember that those home directories don't actually exist, as build processes
are not supposed to write to HOME nor rely on that.
Diffstat (limited to 'hosts/odxu4b-armhf-rb/etc/munin/plugin-conf.d/df')
0 files changed, 0 insertions, 0 deletions