GNU bug report logs - #38581
[PATCH 1/1] bootloader: grub: Add firmware setup entry

Previous Next

Package: guix-patches;

Reported by: Brice Waegeneire <brice <at> waegenei.re>

Date: Thu, 12 Dec 2019 19:54:03 UTC

Severity: normal

Tags: patch

Merged with 38580

Done: Danny Milosavljevic <dannym <at> scratchpost.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 38581 in the body.
You can then email your comments to 38581 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#38581; Package guix-patches. (Thu, 12 Dec 2019 19:54:03 GMT) Full text and rfc822 format available.
Acknowledgement sent to Brice Waegeneire <brice <at> waegenei.re>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Thu, 12 Dec 2019 19:54:03 GMT) Full text and rfc822 format available.

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

From: Brice Waegeneire <brice <at> waegenei.re>
To: guix-patches <at> gnu.org
Subject: [PATCH 1/1] bootloader: grub: Add firmware setup entry
Date: Thu, 12 Dec 2019 20:53:06 +0100

* gnu/bootloader/grub.scm (grub-configuration-file): Add 'Firmware
setup' entry for EFI platform.
---
 gnu/bootloader/grub.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm
index d984d5f5e3..700208f7a9 100644
--- a/gnu/bootloader/grub.scm
+++ b/gnu/bootloader/grub.scm
@@ -384,7 +384,13 @@ set timeout=~a~%"
 submenu \"GNU system, old configurations...\" {~%")
                     #$@(map menu-entry->gexp old-entries)
                     (format port "}~%"))
-                 #~()))))
+                 #~())
+          (format port "
+if [ \"${grub_platform}\" == efi ]; then
+  menuentry \"Firmware setup\" {
+    fwsetup
+  }
+fi"))))
 
   (computed-file "grub.cfg" builder))
 
-- 
2.19.2
Merged 38580 38581. Request was from Brice Waegeneire <brice <at> waegenei.re> to control <at> debbugs.gnu.org. (Sat, 14 Dec 2019 07:54:02 GMT) Full text and rfc822 format available.
Information forwarded to guix-patches <at> gnu.org:
bug#38581; Package guix-patches. (Mon, 23 Dec 2019 08:33:02 GMT) Full text and rfc822 format available.

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

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Brice Waegeneire <brice <at> waegenei.re>
Cc: 38581 <at> debbugs.gnu.org
Subject: Re: [bug#38581] [PATCH 1/1] bootloader: grub: Add firmware setup entry
Date: Mon, 23 Dec 2019 09:32:44 +0100

[Message part 1 (text/plain, inline)]
Thanks!

Pushed to guix master as commit b0d09586b1092ad15496ed08bb7631eaa8dc9a86.

[Message part 2 (application/pgp-signature, inline)]
bug closed, send any further explanations to 38580 <at> debbugs.gnu.org and Brice Waegeneire <brice <at> waegenei.re> Request was from Danny Milosavljevic <dannym <at> scratchpost.org> to control <at> debbugs.gnu.org. (Thu, 26 Dec 2019 18:53:02 GMT) Full text and rfc822 format available.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 24 Jan 2020 12:24:06 GMT) Full text and rfc822 format available.
This bug report was last modified 5 years and 147 days ago.

Previous Next

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