diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-12-03 16:32:03 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-04 10:57:56 +0100 |
commit | 0a5fa004f7f21dc3e01747b8e94fbb21e056e4ca (patch) | |
tree | 9a27504baf78a17ed92a5225d8ba97b781771119 /TODO | |
parent | 0bc02becca1b4b0b3eddb7972567a75f0d464b72 (diff) | |
download | guix-0a5fa004f7f21dc3e01747b8e94fbb21e056e4ca.tar.gz |
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.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions