diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-05-02 15:32:30 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-02 15:32:30 +0200 |
| commit | 746ac457cc2748152a3a39d4296972fa20f19741 (patch) | |
| tree | 978f3bdb71cfd062df8da9be7ae0218d214626e1 /etc | |
| parent | c457f109bec75bfbf4619f3e18bcd82c33a15c07 (diff) | |
| parent | 3a3e9f2bb586e79a7931163f0191df61591b8017 (diff) | |
| download | guix-746ac457cc2748152a3a39d4296972fa20f19741.tar guix-746ac457cc2748152a3a39d4296972fa20f19741.tar.gz | |
Merge branch 'version-1.0.0'
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/guix-install.sh | 2 | ||||
| l--------- | etc/substitutes/ci.guix.gnu.org.pub | 1 |
2 files changed, 2 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 diff --git a/etc/substitutes/ci.guix.gnu.org.pub b/etc/substitutes/ci.guix.gnu.org.pub new file mode 120000 index 0000000000..b1d1e4d763 --- /dev/null +++ b/etc/substitutes/ci.guix.gnu.org.pub @@ -0,0 +1 @@ +berlin.guixsd.org.pub
\ No newline at end of file |