build: Default to https://ci.guix.info for substitutes.
authorLudovic Courtès <ludo@gnu.org>
Mon, 3 Dec 2018 15:32:03 +0000 (16:32 +0100)
committerLudovic Courtès <ludo@gnu.org>
Tue, 4 Dec 2018 09:57:56 +0000 (10:57 +0100)
commit0a5fa004f7f21dc3e01747b8e94fbb21e056e4ca
tree9a27504baf78a17ed92a5225d8ba97b781771119
parent0bc02becca1b4b0b3eddb7972567a75f0d464b72
build: Default to https://ci.guix.info for substitutes.

* config-daemon.ac (guix_substitute_urls): Always default to
"https://ci.guix.info".
* doc/guix.texi (SUBSTITUTE-SERVER): Switch to ci.guix.info.
* guix/scripts/build.scm (%default-log-urls): Likewise.
* guix/scripts/substitute.scm (%default-substitute-urls): Likewise.
* guix/store.scm (%default-substitute-urls): Likewise.
config-daemon.ac
doc/guix.texi
guix/scripts/build.scm
guix/scripts/substitute.scm
guix/store.scm