[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44353: [PATCH version-1.2.0 v2 1/3] image: Remove conflicting user-p
From: |
Maxim Cournoyer |
Subject: |
bug#44353: [PATCH version-1.2.0 v2 1/3] image: Remove conflicting user-provided EFI file system. |
Date: |
Wed, 11 Nov 2020 22:57:11 -0500 |
When the bootloader used is grub-efi-bootloader, an ESP partition and file
system is already added by the image generator. If a conflicting
user-provided EFI file system is provided, it will (likely) cause 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): Also remove file systems
whose mount point is "/boot/efi".
---
gnu/system/image.scm | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/gnu/system/image.scm b/gnu/system/image.scm
index 81152f0fc4..4972d9067b 100644
--- a/gnu/system/image.scm
+++ b/gnu/system/image.scm
@@ -576,7 +576,9 @@ it can be used for bootloading."
(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
--
2.28.0
- bug#44353: guix system disk-image -t raw fails with grub-efi-bootloader, Maxim Cournoyer, 2020/11/07
- bug#44353: [PATCH version-1.2.0 v2 1/3] image: Remove conflicting user-provided EFI file system., Mathieu Othacehe, 2020/11/12
- bug#44353: [PATCH version-1.2.0 v2 1/3] image: Remove conflicting user-provided EFI file system., Maxim Cournoyer, 2020/11/17
- bug#44353: [PATCH version-1.2.0 v2] guix: system: Add a new '--non-volatile' option for disk-image., Maxim Cournoyer, 2020/11/12
- bug#44353: [PATCH version-1.2.0 v2] guix: system: Add a new '--non-volatile' option for disk-image., Mathieu Othacehe, 2020/11/12