diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-22 14:52:22 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-08-22 14:52:22 +0000 |
| commit | 7d5836b34df363c2b2e7fc1574aaba1dde9a697e (patch) | |
| tree | 4e91e197e429d8a02d2bbbfeaf3a419449eff7e3 /externals | |
| 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 'externals')
0 files changed, 0 insertions, 0 deletions