diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-04-09 19:10:07 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-04-09 19:10:07 +0200 |
| commit | c865a878a00f6aefbddc93eb68f66b4b7db04fe9 (patch) | |
| tree | 7e20fcc3913c3636b8dd8f3f447498535bb4d03b /po | |
| parent | 289773c1d852a716d44aecbc03316f0c119387a8 (diff) | |
gnu: linux-initrd: Mount /dev/pts at boot time.
* guix/build/linux-initrd.scm (make-essential-device-nodes): Remove
'mount' call for /dev/pts.
(boot-system): Add it here, after 'chroot' call.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions