Set up a private /dev/pts in the chroot
This commit is contained in:
parent
3fd01b171a
commit
1017bd68ea
2 changed files with 14 additions and 2 deletions
|
|
@ -42,7 +42,6 @@ Settings::Settings()
|
|||
useSubstitutes = true;
|
||||
useChroot = false;
|
||||
useSshSubstituter = false;
|
||||
dirsInChroot.insert("/dev/pts");
|
||||
impersonateLinux26 = false;
|
||||
keepLog = true;
|
||||
compressLog = true;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue