diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-11T17·00+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-11T17·00+0000 |
commit | 7c54f1603f0c793bfc1f191aaa0ec71441038515 (patch) | |
tree | fca233b8416294da7404ccf5ca203ed23f5aeebf /doc/manual | |
parent | 07cdfb09fb74cf8e1c3c70c070ad20b5d1119fcf (diff) |
* Do chroot builds in a private namespace. This means that all the
bind-mounts we do are only visible to the builder process and its children. So accidentally doing "rm -rf" on the chroot directory won't wipe out /nix/store and other bind-mounted directories anymore. Also, the bind-mounts in the private namespace disappear automatically when the builder exits.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions