#33543 [PATCH 0/1] Fixes for guix.texi manual.

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

From: Miguel Arruga Vivas <rosen644835@gmail.com>

To: guix-patches@gnu.org

Cc: Miguel Ángel Arruga Vivas <rosen644835@gmail.com>

Subject: [PATCH 0/1] Fixes for guix.texi manual.

Date: Wed, 28 Nov 2018 20:02:36 +0100

From: Miguel Ángel Arruga Vivas <rosen644835@gmail.com>

Hello,

I've found an inconsistency in the use of system variable in the manual, in
the installation section, and an use of file markup instead of email for this
address later on. Should I split up these changes in two separate patches?

Best regards,
Miguel

Miguel Ángel Arruga Vivas (1):
  doc: Typos in guix.texi manual.

 doc/guix.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

-- 
2.19.2

Message #8 received at submit@debbugs.gnu.org (full text, mbox, reply):

From: Miguel Arruga Vivas <rosen644835@gmail.com>

To: 33543@debbugs.gnu.org, guix-patches@gnu.org

Cc: Miguel Ángel Arruga Vivas <rosen644835@gmail.com>

Subject: [PATCH 1/1] doc: Typos in guix.texi manual.

Date: Wed, 28 Nov 2018 20:11:56 +0100

From: Miguel Ángel Arruga Vivas <rosen644835@gmail.com>

* doc/guix.texi (USB Stick and DVD Installation): use @var{system}
consistently.
(Proceeding with the Installation): use @email markup instead of @file.
---
 doc/guix.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index c040a8531a..877355e123 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -9160,7 +9160,7 @@ its device name.  Assuming that the USB stick is known as @file{/dev/sdX},
 copy the image with:
 
 @example
-dd if=guixsd-install-@value{VERSION}.x86_64-linux.iso of=/dev/sdX
+dd if=guixsd-install-@value{VERSION}.@var{system}.iso of=/dev/sdX
 sync
 @end example
 
@@ -9185,7 +9185,7 @@ its device name.  Assuming that the DVD drive is known as @file{/dev/srX},
 copy the image with:
 
 @example
-growisofs -dvd-compat -Z /dev/srX=guixsd-install-@value{VERSION}.x86_64.iso
+growisofs -dvd-compat -Z /dev/srX=guixsd-install-@value{VERSION}.@var{system}.iso
 @end example
 
 Access to @file{/dev/srX} usually requires root privileges.
@@ -9545,7 +9545,7 @@ system}).  We recommend doing that regularly so that your system
 includes the latest security updates (@pxref{Security Updates}).
 
 Join us on @code{#guix} on the Freenode IRC network or on
-@file{guix-devel@@gnu.org} to share your experience---good or not so
+@email{guix-devel@@gnu.org} to share your experience---good or not so
 good.
 
 @node Installing GuixSD in a VM
-- 
2.19.2

Message #14 received at 33543@debbugs.gnu.org (full text, mbox, reply):

From: ludo@gnu.org (Ludovic Courtès)

To: Miguel Arruga Vivas <rosen644835@gmail.com>

Cc: 33543@debbugs.gnu.org

Subject: Re: [bug#33543] [PATCH 1/1] doc: Typos in guix.texi manual.

Date: Sun, 02 Dec 2018 23:29:21 +0100

Hello,

Miguel Arruga Vivas <rosen644835@gmail.com> skribis:

> From: Miguel Ángel Arruga Vivas <rosen644835@gmail.com>
>
> * doc/guix.texi (USB Stick and DVD Installation): use @var{system}
> consistently.
> (Proceeding with the Installation): use @email markup instead of @file.

Good catch.  Applied, thanks!

Ludo’.

Send a report that this bug log contains spam.