GNU bug report logs - #39085
[PATCH v2] doc: Add booting instructions for Libreboot.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#39083: closed ([PATCH] doc: Add booting instructions for
 Libreboot.)
Date: Fri, 17 Jan 2020 16:34:02 +0000

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

Your message dated Fri, 17 Jan 2020 17:33:06 +0100
with message-id <87wo9qyrel.fsf <at> gnu.org>
and subject line Re: [bug#39085] [PATCH v2] doc: Add booting instructions for Libreboot.
has caused the debbugs.gnu.org bug report #39085,
regarding [PATCH] doc: Add booting instructions for Libreboot.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
39085: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39085
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Wiktor Żelazny <wz <at> freeshell.de>
To: guix-patches <at> gnu.org
Subject: [PATCH] doc: Add booting instructions for Libreboot.
Date: Sat, 11 Jan 2020 11:14:42 +0100

* doc/guix.texi (Booting): Mention the relevant command for USB.

Instructions for DVD and for Coreboot are missing.
---
 doc/guix.texi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index 3693bb54b6..bc39030822 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -69,6 +69,7 @@ Copyright @copyright{} 2019 Jakob L. Kreuze@*
 Copyright @copyright{} 2019 Kyle Andrews@*
 Copyright @copyright{} 2019 Alex Griffin@*
 Copyright @copyright{} 2019 Guillaume Le Vaillant@*
+Copyright @copyright{} 2020 Wiktor Żelazny@*
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.3 or
@@ -2001,6 +2002,8 @@ Access to @file{/dev/srX} usually requires root privileges.
 Once this is done, you should be able to reboot the system and boot from
 the USB stick or DVD.  The latter usually requires you to get in the
 BIOS or UEFI boot menu, where you can choose to boot from the USB stick.
+In order to boot from Libreboot, switch to the command mode and type
+@command{search_grub usb}.
 
 @xref{Installing Guix in a VM}, if, instead, you would like to install
 Guix System in a virtual machine (VM).
-- 
2.24.1

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Wiktor Żelazny <wz <at> freeshell.de>
Cc: 39085-done <at> debbugs.gnu.org
Subject: Re: [bug#39085] [PATCH v2] doc: Add booting instructions for
 Libreboot.
Date: Fri, 17 Jan 2020 17:33:06 +0100

Hi,

Wiktor Żelazny <wz <at> freeshell.de> skribis:

> * doc/guix.texi (Booting): Mention the relevant command for USB.
>
> Instructions for DVD and for Coreboot are missing.

Applied, thanks!

Ludo’.

Previous Next

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