aboutsummaryrefslogtreecommitdiff
path: root/gnu/system.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2016-07-18 00:51:02 +0200
committerLudovic Courtès <ludo@gnu.org>2016-07-18 01:26:03 +0200
commit2bdd7ac17ceff60cd5ef77e530f62cea902bf90d (patch)
tree20b37d40904546f380d0cc6dcae8505bad16a737 /gnu/system.scm
parent0b07350675ef8b94041605cb53d4763fb97c8d7d (diff)
downloadgnu-guix-2bdd7ac17ceff60cd5ef77e530f62cea902bf90d.tar
gnu-guix-2bdd7ac17ceff60cd5ef77e530f62cea902bf90d.tar.gz
system: Honor the 'dependencies' field of file systems.
This allows mapped devices listed in 'dependencies' to be properly taken into account. Reported by Andreas Enge <andreas@enge.fr>. * gnu/system.scm (mapped-device-user): Check whether DEVICE is a member of the 'dependencies' of FS. * tests/system.scm (%luks-device, %os-with-mapped-device): New variables. ("operating-system-user-mapped-devices") ("operating-system-boot-mapped-devices") ("operating-system-boot-mapped-devices, implicit dependency"): New tests.
Diffstat (limited to 'gnu/system.scm')
-rw-r--r--gnu/system.scm7
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/system.scm b/gnu/system.scm
index a49b3f29b3..476720b9f9 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -81,6 +81,8 @@
operating-system-mapped-devices
operating-system-file-systems
operating-system-store-file-system
+ operating-system-user-mapped-devices
+ operating-system-boot-mapped-devices
operating-system-activation-script
operating-system-user-accounts
operating-system-shepherd-service-names
@@ -208,8 +210,9 @@ as 'needed-for-boot'."
"Return a file system among FILE-SYSTEMS that uses DEVICE, or #f."
(let ((target (string-append "/dev/mapper/" (mapped-device-target device))))
(find (lambda (fs)
- (and (eq? 'device (file-system-title fs))
- (string=? (file-system-device fs) target)))
+ (or (member device (file-system-dependencies fs))
+ (and (eq? 'device (file-system-title fs))
+ (string=? (file-system-device fs) target))))
file-systems)))
(define (operating-system-user-mapped-devices os)