diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-05-02 15:31:24 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-02 15:31:24 +0200 |
| commit | 3a3e9f2bb586e79a7931163f0191df61591b8017 (patch) | |
| tree | 4e90846462c428cd6958b0c1c9a7bb95ec626d2f /etc | |
| parent | 9c941364bfc0120e3ab5c5c4cc71a9a302d59a2b (diff) | |
| download | guix-3a3e9f2bb586e79a7931163f0191df61591b8017.tar.gz | |
guix-install.sh: Update URL.
* etc/guix-install.sh (GNU_URL): Change to ftp.gnu.org.
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/guix-install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |