diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-06-21 23:50:47 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-21 23:54:15 +0200 |
| commit | 68a58775e071d4b0e000b93ad121b6e64d161b79 (patch) | |
| tree | c3975b2782da2ad4e08071bbdc579b500dee4a77 /release.nix | |
| parent | 1f1d76a1789dafb55cc9450cc1dbafb718a62215 (diff) | |
| download | patches-68a58775e071d4b0e000b93ad121b6e64d161b79.tar patches-68a58775e071d4b0e000b93ad121b6e64d161b79.tar.gz | |
system: Mapped devices needed for boot do not yield Shepherd services.
Fixes <https://bugs.gnu.org/31889>.
Reported by Taylan Kammer <taylanbayirli@gmail.com>.
* gnu/system.scm (non-boot-file-system-service)[mapped-devices-for-boot]:
New variable.
Remove dependencies of FS that are members of MAPPED-DEVICES-FOR-BOOT.
(mapped-device-user): Rename to...
(mapped-device-users): ... this. Use 'filter' instead of 'find'.
(operating-system-user-mapped-devices)
(operating-system-boot-mapped-devices): Use 'any
file-system-needed-for-boot?' instead of looking at the first user.
* tests/system.scm ("non-boot-file-system-service"): New test.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions