image: Remove conflicting user-provided EFI file system.

When the image type is "raw" or derived from it (such as "qcow2"), an ESP
partition and file system is already added by the image generator.  If a
conflicting user-provided EFI file system is provided, it causes the boot to
fail, as happens for the lightweight-desktop.tmpl and desktop.tmpl templates
under gnu/system/examples.

* gnu/system/image.scm (operating-system-for-image): Remove file systems whose
mount point is "/boot/efi".
This commit is contained in:
Maxim Cournoyer 2020-11-10 23:09:59 -05:00
parent 82ffc79f8a
commit 1ec366cdfd
No known key found for this signature in database
GPG key ID: 1260E46482E63562

View file

@ -576,7 +576,9 @@ (define (root-uuid os)
(file-systems-to-keep
(srfi-1:remove
(lambda (fs)
(string=? (file-system-mount-point fs) "/"))
(let ((mount-point (file-system-mount-point fs)))
(or (string=? mount-point "/")
(string=? mount-point "/boot/efi"))))
(operating-system-file-systems base-os)))
(format (image-format image))
(os