diff options
| author | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2018-11-28 20:11:56 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-02 23:28:49 +0100 |
| commit | f31e586b5873d9ec6309f562692b0a11e6d22b95 (patch) | |
| tree | 8c92997cc38029c745af55ce518d4376b153478e | |
| parent | 793dcd8c679cd53e2792cf26d539505fac396d3d (diff) | |
| download | guix-f31e586b5873d9ec6309f562692b0a11e6d22b95.tar.gz | |
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>
| -rw-r--r-- | doc/guix.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 20ab65f173..870c710ea7 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -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 |