[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#31969] [PATCH] bootloader: grub-efi: Identify as "GuixSD" instead o
From: |
Marius Bakke |
Subject: |
[bug#31969] [PATCH] bootloader: grub-efi: Identify as "GuixSD" instead of "grub". |
Date: |
Mon, 25 Jun 2018 22:50:15 +0200 |
* gnu/bootloader/grub.scm (install-grub-efi): Pass "--bootloader-id" to
grub-install.
---
gnu/bootloader/grub.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm
index 8f45995ca..538ddc37a 100644
--- a/gnu/bootloader/grub.scm
+++ b/gnu/bootloader/grub.scm
@@ -403,6 +403,7 @@ submenu \"GNU system, old configurations...\" {~%")
;; root partition.
(setenv "GRUB_ENABLE_CRYPTODISK" "y")
(unless (zero? (system* grub-install "--boot-directory" install-dir
+ "--bootloader-id=GuixSD"
"--efi-directory" target-esp))
(error "failed to install GRUB (EFI)")))))
--
2.18.0
- [bug#31969] [PATCH] bootloader: grub-efi: Identify as "GuixSD" instead of "grub".,
Marius Bakke <=