[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#31969] [PATCH] bootloader: grub-efi: Identify as "GuixSD" instead o
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#31969] [PATCH] bootloader: grub-efi: Identify as "GuixSD" instead of "grub". |
|
Date: |
Tue, 26 Jun 2018 16:04:13 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Marius Bakke <address@hidden> skribis:
> * 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"
What does it do? I can’t even find it in the manual.
Otherwise no objections from me.
Ludo’.