[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/04: bootloader: grub-efi: Identify as "GuixSD" instead of "grub".
|
From: |
Marius Bakke |
|
Subject: |
02/04: bootloader: grub-efi: Identify as "GuixSD" instead of "grub". |
|
Date: |
Tue, 26 Jun 2018 11:30:33 -0400 (EDT) |
mbakke pushed a commit to branch master
in repository guix.
commit 683016907d5eb5b9b526d21e36de28c16ff6e5cc
Author: Marius Bakke <address@hidden>
Date: Mon Jun 25 22:24:45 2018 +0200
bootloader: grub-efi: Identify as "GuixSD" instead of "grub".
* 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 8371888..06856dd 100644
--- a/gnu/bootloader/grub.scm
+++ b/gnu/bootloader/grub.scm
@@ -397,6 +397,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)")))))