GNU bug report logs - #31969
[PATCH] bootloader: grub-efi: Identify as "GuixSD" instead of "grub".

Previous Next

Full log

Message #8 received at 31969 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Marius Bakke <mbakke <at> fastmail.com>
Cc: 31969 <at> debbugs.gnu.org
Subject: Re: [bug#31969] [PATCH] bootloader: grub-efi: Identify as "GuixSD"
 instead of "grub".
Date: Tue, 26 Jun 2018 16:04:13 +0200

Marius Bakke <mbakke <at> fastmail.com> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.