diff options
| author | Tomas Volf <~@wolfsden.cz> | 2024-01-15 22:57:35 +0100 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2024-01-17 11:17:59 +0100 |
| commit | 21989dd57dac338899574d3ee7f093d633e31e33 (patch) | |
| tree | ae673f593be7f42eb45e8138bf6841bddf9ee310 /gnu/system | |
| parent | 299ce524c9f725549ab5548197cc88b085bba2f4 (diff) | |
image: Consider grub-efi-removable-bootloader to be EFI bootloader.
Without this change, trying to create a system image with efi-raw type while
using grub-efi-removable-bootloader fails with fairly confusing message:
EFI bootloader required with GPT partitioning
* gnu/system/image.scm (system-disk-image): Consider
grub-efi-removable-bootloader to be EFI bootloader.
Change-Id: I5f5e1a94e825fd29d6880c5bafb330e16a5ac962
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/image.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/system/image.scm b/gnu/system/image.scm index 2cc1012893..5456b3a5a0 100644 --- a/gnu/system/image.scm +++ b/gnu/system/image.scm @@ -535,7 +535,8 @@ used in the image." (when (and (gpt-image? image) (not - (memq (bootloader-name bootloader) '(grub-efi grub-efi32)))) + (memq (bootloader-name bootloader) + '(grub-efi grub-efi32 grub-efi-removable-bootloader)))) (raise (formatted-message (G_ "EFI bootloader required with GPT partitioning")))) |