From 3a3e9f2bb586e79a7931163f0191df61591b8017 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 2 May 2019 15:31:24 +0200
Subject: [PATCH] guix-install.sh: Update URL.

* etc/guix-install.sh (GNU_URL): Change to ftp.gnu.org.
---
 etc/guix-install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/guix-install.sh b/etc/guix-install.sh
index dc8de2fe92..11a332d54d 100755
--- a/etc/guix-install.sh
+++ b/etc/guix-install.sh
@@ -54,7 +54,7 @@ ERR=$'[ \033[31;1mFAIL\033[0m ] '
 INF="[ INFO ] "
 
 DEBUG=0
-GNU_URL="https://alpha.gnu.org/gnu/guix/"
+GNU_URL="https://ftp.gnu.org/gnu/guix/"
 OPENPGP_SIGNING_KEY_ID="3CE464558A84FDC69DB40CFB090B11993D9AEBB5"
 
 # This script needs to know where root's home directory is.  However, we