bug#39083: closed ([PATCH] doc: Add booting instructions for Libreboot.)

[GNU bug Tracking System]

Your message dated Fri, 17 Jan 2020 17:33:06 +0100
with message-id <address@hidden>
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
address@hidden.)


-- 
39085: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39085
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#39085] [PATCH v2] doc: Add booting instructions for Libreboot.
>
>
>
>
> Date: 
>
> Fri, 17 Jan 2020 17:33:06 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Hi,
>
> Wiktor Żelazny <address@hidden> skribis:
>
> > * doc/guix.texi (Booting): Mention the relevant command for USB.
> >
> > Instructions for DVD and for Coreboot are missing.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---