diff options
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 |