[bug#33543,1/1] doc: Typos in guix.texi manual.

Message ID 20181128191155.28345-1-rosen644835@gmail.com
State Accepted
Commit f31e586b5873d9ec6309f562692b0a11e6d22b95
Headers show
Series Fixes for guix.texi manual. | expand

Checks

Context Check Description
cbaines/applying patch success Successfully applied
cbaines/applying patch success Successfully applied

Commit Message

Miguel Arruga Vivas Nov. 28, 2018, 7:11 p.m. UTC
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(-)

Comments

Ludovic Courtès Dec. 2, 2018, 10:29 p.m. UTC | #1
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’.

Patch

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