doc: Typos in guix.texi manual.

* doc/guix.texi (USB Stick and DVD Installation): use @var{system}
consistently.
(Proceeding with the Installation): use @email markup instead of @file.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Miguel Ángel Arruga Vivas 2018-11-28 20:11:56 +01:00 committed by Ludovic Courtès
parent 793dcd8c67
commit f31e586b58
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 3 additions and 3 deletions

View File

@ -9192,7 +9192,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
@ -9217,7 +9217,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.
@ -9577,7 +9577,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