bug#29881: guix system reconfigure fails if config.scm contains LUKS mapped-devices

[dnbarbato@posteo.de]

[-- Attachment #1: Type: text/plain, Size: 440 bytes --]

Leo Famulari <leo@famulari.name> writes:

> Can you send your config.scm? 
>
> Without it, it's hard to know if there is a problem with your config.scm or the Guix mapper-devices code.
>

As requested here is my config.scm.  Although I doubt there is a problem
with it since it works with commit
de2032b912ede1756290e7ca9f7af7e9b72627eb and the mapped-devices
declaration is the same as in the manual (except for the target and the
uuid).


[-- Attachment #2: config.scm --]
[-- Type: application/octet-stream, Size: 3788 bytes --]

;; This is an operating system configuration file
;; for a "desktop" setup with StumpWM and EXWM where
;; the root partition is encrypted with LUKS.

(use-modules (gnu) (gnu packages) (gnu system nss))
(use-service-modules avahi cups dbus desktop networking xorg)
(use-package-modules certs cups emacs gnome libusb lisp xdisorg)

(operating-system
  (host-name "GLaDOS")
  (timezone "Europe/Zurich")
  (locale "de_CH.UTF-8")

  ;; Assuming /dev/sda is the target hard disk, and "osiris"
  ;; is the label of the target root file system.
  (bootloader (bootloader-configuration
                (bootloader grub-bootloader)
                (target "/dev/sda")
                (timeout 1)))

  ;; Specify a mapped device for the encrypted root partition.
  ;; The UUID is that returned by 'cryptsetup luksUUID'.
  (mapped-devices
   (list (mapped-device
          (source (uuid "9f9b4eaf-3c02-4d3d-b517-782c419b943f"))
          (target "hathor")
          (type luks-device-mapping))))

  (file-systems (cons* (file-system
                        (device "osiris")
                        (title 'label)
                        (mount-point "/")
                        (type "ext4"))
                      (file-system
                        (device "horus")
                        (title 'label)
                        (mount-point "/home")
                        (type "ext4")
                        (dependencies mapped-devices))
                      %base-file-systems))

  (swap-devices '("/dev/sda2"))

  (users (cons (user-account
                (name "diego")
                (comment "Diego Nicola Barbato")
                (group "users")
                (supplementary-groups '("lp"
                                        "wheel" "netdev"
                                        "audio" "video"))
                (home-directory "/home/diego"))
               %base-user-accounts))

  ;; This is where we specify system-wide packages.
  (packages (cons* nss-certs         ;for HTTPS access
                   ;; gvfs              ;for user mounts
                   sbcl-stumpwm      ;StumpWM window manager
                   emacs emacs-exwm  ;emacs window manager
                   %base-packages))

  ;; Add desktop services to %base-services. This is a modified
  ;; version of %desktop-services with fewer services and wicd
  ;; instead of network-manager. Also adding tor, xscreensaver,
  ;; bluetooth and a swiss german console keymap.
  (services (cons* (tor-service)

		   ;; cups service
		   (service cups-service-type
			    (cups-configuration
			     (web-interface? #t)
			     (extensions
			      (list cups-filters escpr))))

                   ;; Login service
                   (slim-service)

                   ;; Screen lockers are a pretty useful thing
		   ;; and these are small.
                   (screen-locker-service xlockmore "xlock")
                   (screen-locker-service xscreensaver "xscreensaver")

		   ;; Add udev rules for MTP devices so that non-root
		   ;; users can access them.
		   (simple-service 'mtp udev-service-type (list libmtp))

                   ;; The D-Bus clique.
                   (bluetooth-service)
                   (avahi-service)
                   (wicd-service)
                   (udisks-service)
                   (upower-service)
                   (colord-service)
                   (geoclue-service)
                   (polkit-service)
                   (elogind-service)
                   (dbus-service)

                   (ntp-service)

                   ;; Add swiss german keymap
                   (console-keymap-service "de_CH-latin1")

                   %base-services))

  ;; Allow resolution of '.local' host names with mDNS.
  (name-service-switch %mdns-host-lookup-nss))