diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-22T14·52+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-22T14·52+0000 |
| commit | 7d5836b34df363c2b2e7fc1574aaba1dde9a697e (patch) | |
| tree | 4e91e197e429d8a02d2bbbfeaf3a419449eff7e3 /aterm-gc.supp | |
| parent | 2629998e9167b2d7897a2f34a6f531affc4033db (diff) | |
* nix-channel: supports users who don't have write permission to the
manifests directory. In that case, we don't do a nix-pull, so the user gets pure source deployment. The directory /nix/var/nix/gcroots/per-user/$USER should be writable. (It's created automatically if /nix/var/nix/gcroots/per-user is writable, e.g. if it has 1777 permission.)
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions