diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-07-22 23:13:53 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-07-23 02:02:07 +0200 |
commit | 7f239fd33ff7bf2f1ec48de37f14479699d4096f (patch) | |
tree | ab1a5a5689a5053cf45493e9f0f3393fbdafc9e5 /TODO | |
parent | 4e469051a77d02435eafb1df93224a2ce1bb3146 (diff) |
system: Add 'file-system' decl. for /dev/pts, and use the right options.
Fixes <http://bugs.gnu.org/18081>.
* gnu/system/file-systems.scm (%devtmpfs-file-system): Add
'needed-for-boot?' field.
(%tty-gid, %pseudo-terminal-file-system): New variables.
(%base-file-systems): Add %PSEUDO-TERMINAL-FILE-SYSTEM.
* gnu/services/base.scm (udev-service): Remove dependency on
'file-system-/dev'.
* gnu/system/shadow.scm (%base-groups): Add 'id' field for group 'tty'.
* guix/build/linux-initrd.scm (boot-system): Remove 'mount' call for
/dev/pts.
* doc/guix.texi (File Systems): Add %pseudo-terminal-file-system.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions