GNU bug report logs - #38580
[PATCH 0/1] Start BIOS setup from GRUB

Previous Next

Package: guix-patches;

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

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

Severity: normal

Tags: patch

Merged with 38581

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 38580 in the body.
You can then email your comments to 38580 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#38580; Package guix-patches. (Thu, 12 Dec 2019 19:54:02 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:02 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 0/1] Start BIOS setup from GRUB
Date: Thu, 12 Dec 2019 20:53:05 +0100

On EFI systems this patch allow one to start the firmware setup from GRUB.
This is the same behaviour as in NixOS.

Brice Waegeneire (1):
  bootloader: grub: Add firmware setup entry

 gnu/bootloader/grub.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

-- 
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.
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:01 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 148 days ago.

Previous Next

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