[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
07/10: mapped-devices: Add 'location' and 'check' fields.
From: |
Ludovic Courtès |
Subject: |
07/10: mapped-devices: Add 'location' and 'check' fields. |
Date: |
Fri, 22 Dec 2017 04:04:12 -0500 (EST) |
civodul pushed a commit to branch master
in repository guix.
commit 4ca90ff5976434a2b6e758df38df54387ae70c1b
Author: Ludovic Courtès <address@hidden>
Date: Mon Dec 18 14:57:20 2017 +0100
mapped-devices: Add 'location' and 'check' fields.
* gnu/system/mapped-devices.scm (<mapped-device>)[location]: New field.
(<mapped-device-type>)[check]: New field.
---
gnu/system/mapped-devices.scm | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/gnu/system/mapped-devices.scm b/gnu/system/mapped-devices.scm
index 17cf6b7..06178ad 100644
--- a/gnu/system/mapped-devices.scm
+++ b/gnu/system/mapped-devices.scm
@@ -34,11 +34,13 @@
mapped-device-source
mapped-device-target
mapped-device-type
+ mapped-device-location
mapped-device-kind
mapped-device-kind?
mapped-device-kind-open
mapped-device-kind-close
+ mapped-device-kind-check
device-mapping-service-type
device-mapping-service
@@ -58,14 +60,18 @@
mapped-device?
(source mapped-device-source) ;string | list of strings
(target mapped-device-target) ;string
- (type mapped-device-type)) ;<mapped-device-kind>
+ (type mapped-device-type) ;<mapped-device-kind>
+ (location mapped-device-location
+ (default (current-source-location)) (innate)))
(define-record-type* <mapped-device-type> mapped-device-kind
make-mapped-device-kind
mapped-device-kind?
(open mapped-device-kind-open) ;source target -> gexp
(close mapped-device-kind-close ;source target -> gexp
- (default (const #~(const #f)))))
+ (default (const #~(const #f))))
+ (check mapped-device-kind-check ;source -> Boolean
+ (default (const #t))))
;;;
- branch master updated (a468f89 -> d633f2f), Ludovic Courtès, 2017/12/22
- 03/10: services: urandom-seed: Become a dependency of 'user-processes'., Ludovic Courtès, 2017/12/22
- 06/10: gnu: Add python-activepapers., Ludovic Courtès, 2017/12/22
- 08/10: mapped-devices: 'luks-device-mapping' checks its source device., Ludovic Courtès, 2017/12/22
- 02/10: services: 'user-processes-service-type' can now be extended., Ludovic Courtès, 2017/12/22
- 04/10: services: urandom-seed: Deprecate the 'urandom-seed-service' procedure., Ludovic Courtès, 2017/12/22
- 10/10: gnu: mutter: Add xorg-xserver-xwayland input., Ludovic Courtès, 2017/12/22
- 07/10: mapped-devices: Add 'location' and 'check' fields.,
Ludovic Courtès <=
- 09/10: guix system: Check mapped devices upon 'init' and 'reconfigure'., Ludovic Courtès, 2017/12/22
- 01/10: doc: Document fixed-output derivations., Ludovic Courtès, 2017/12/22
- 05/10: services: urandom-seed: Depend on udev., Ludovic Courtès, 2017/12/22