diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-29 14:40:26 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-29 14:40:26 +0100 |
| commit | 3b09332adf7ce8e976a4d117a62c586a53af04aa (patch) | |
| tree | 0400980787f83e8eb2b9a379af9b9f59347504a1 /gnu/system | |
| parent | 9cd0dfaa4654e49cd0af82993b91789cb3012354 (diff) | |
| download | guix-3b09332adf7ce8e976a4d117a62c586a53af04aa.tar.gz | |
system: Add a 'needed-for-boot?' field to 'mapped-device'.
* gnu/system/file-systems.scm (<mapped-device>)[needed-for-boot?]: New field. * gnu/system.scm (operating-system-user-mapped-devices, operating-system-boot-mapped-devices): Use it instead of trying to guess. Guessing doesn't work when one refers to a partition using its label, for instance. * doc/guix.texi (Mapped Devices): Document 'needed-for-boot?'.
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/file-systems.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm index 4760821840..356b4826b4 100644 --- a/gnu/system/file-systems.scm +++ b/gnu/system/file-systems.scm @@ -45,6 +45,7 @@ mapped-device-source mapped-device-target mapped-device-type + mapped-device-needed-for-boot? mapped-device-kind mapped-device-kind? @@ -157,7 +158,9 @@ file system." mapped-device? (source mapped-device-source) ;string (target mapped-device-target) ;string - (type mapped-device-type)) ;<mapped-device-kind> + (type mapped-device-type) ;<mapped-device-kind> + (needed-for-boot? mapped-device-needed-for-boot? ;Boolean + (default #f))) (define-record-type* <mapped-device-type> mapped-device-kind make-mapped-device-kind |