diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-11T14·59+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-11T14·59+0000 |
| commit | 4166b11a53f16365f9becfa4f29f15047fc221af (patch) | |
| tree | 252057aff37b5f8132cddf4a92b71ec43eea3697 /nix.conf.example | |
| parent | 2b7c839b4e20d53e097036d854fbd52dbbc16dd6 (diff) | |
* Add /dev/pts to the default nix.conf.
Diffstat (limited to 'nix.conf.example')
| -rw-r--r-- | nix.conf.example | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/nix.conf.example b/nix.conf.example index a97554b18e73..547fa6cdc04e 100644 --- a/nix.conf.example +++ b/nix.conf.example @@ -164,13 +164,13 @@ # (using `mount --bind' on Linux) some directories from the normal # file system hierarchy inside the chroot. These are the Nix store, # the temporary build directory (usually /tmp/nix-<pid>-<number>) and -# the directories listed here. The default is "/dev /proc". Files -# in /dev (such as /dev/null) are needed by many builds, and some -# files in /proc may also be needed occasionally. +# the directories listed here. The default is "/dev /dev/pts /proc". +# Files in /dev (such as /dev/null) are needed by many builds, and +# some files in /proc may also be needed occasionally. # # Example: # build-use-chroot = /dev /proc /bin -#build-chroot-dirs = /dev /proc +#build-chroot-dirs = /dev /dev/pts /proc ### Option `system' |