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 /guix/store.scm | |
| parent | 0bc02becca1b4b0b3eddb7972567a75f0d464b72 (diff) | |
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 'guix/store.scm')
| -rw-r--r-- | guix/store.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/store.scm b/guix/store.scm index 9dc651b26c..509fd4def6 100644 --- a/guix/store.scm +++ b/guix/store.scm @@ -693,7 +693,7 @@ encoding conversion errors." (map (if (false-if-exception (resolve-interface '(gnutls))) (cut string-append "https://" <>) (cut string-append "http://" <>)) - '("mirror.hydra.gnu.org"))) + '("ci.guix.info"))) (define* (set-build-options server #:key keep-failed? keep-going? fallback? |