02/05: doc: Use https://alpha.gnu.org instead of FTP.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit af7914a1f135c3286b51fa6214a59b5b0329cbec
Author: Ludovic Courtès <address@hidden>
Date:   Mon Jul 9 16:48:27 2018 +0200

    doc: Use https://alpha.gnu.org instead of FTP.
    
    * doc/guix.texi (Binary Installation)
    (USB Stick and DVD Installation, Running GuixSD in a VM): Use
    "https://alpha.gnu.org"; instead of the now deprecated FTP URLs.
---
 doc/guix.texi | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index ffcf165..7ce364b 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -430,7 +430,7 @@ Installing goes along these lines:
 @item
 @cindex downloading Guix binary
 Download the binary tarball from
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.tar.xz},
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.tar.xz},
 where @var{system} is @code{x86_64-linux} for an @code{x86_64} machine
 already running the kernel Linux, and so on.
 
@@ -439,7 +439,7 @@ Make sure to download the associated @file{.sig} file and 
to verify the
 authenticity of the tarball against it, along these lines:
 
 @example
-$ wget ftp://alpha.gnu.org/gnu/guix/address@hidden@var{system}.tar.xz.sig
+$ wget https://alpha.gnu.org/gnu/guix/address@hidden@var{system}.tar.xz.sig
 $ gpg --verify address@hidden@var{system}.tar.xz.sig
 @end example
 
@@ -8393,7 +8393,7 @@ about their support in GNU/Linux.
 
 An ISO-9660 installation image that can be written to a USB stick or
 burnt to a DVD can be downloaded from
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.iso.xz},
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.iso.xz},
 where @var{system} is one of:
 
 @table @code
@@ -8409,7 +8409,7 @@ Make sure to download the associated @file{.sig} file and 
to verify the
 authenticity of the image against it, along these lines:
 
 @example
-$ wget ftp://alpha.gnu.org/gnu/guix/address@hidden@var{system}.iso.xz.sig
+$ wget https://alpha.gnu.org/gnu/guix/address@hidden@var{system}.iso.xz.sig
 $ gpg --verify address@hidden@var{system}.iso.xz.sig
 @end example
 
@@ -21357,7 +21357,7 @@ example graph.
 @cindex virtual machine
 To run GuixSD in a virtual machine (VM), one can either use the
 pre-built GuixSD VM image distributed at
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz}
address@hidden://alpha.gnu.org/gnu/guix/address@hidden@var{system}.xz}
 , or build their own virtual machine image using @command{guix system
 vm-image} (@pxref{Invoking guix system}).  The returned image is in
 qcow2 format, which the @uref{http://qemu.org/, QEMU emulator} can