diff options
author | Ludovic Courtès <ludo@gnu.org> | 2023-04-17 16:00:16 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-04-17 23:50:42 +0200 |
commit | 8136c1578eadbd0630695d86d52b6227db791539 (patch) | |
tree | 07aa68c7eec3d28bf8ed4ceee5bf3ff3b9617359 /guix/platform.scm | |
parent | 57e731c358d000f614fbda23654cae6a5e79df80 (diff) |
substitute: Download nar from another server upon ETIMEDOUT.
Previously, 'guix substitute' would fail abruptly with something like:
guix substitute: warning: while fetching https://ci.guix.gnu.org/nar/lzip/…-example: server is somewhat slow
guix substitute: warning: try `--no-substitutes' if the problem persists
guix substitute: error: connect*: Connection timed out
substitution of /gnu/store/…-example failed
* guix/scripts/substitute.scm (network-error?): Add ETIMEDOUT.
Diffstat (limited to 'guix/platform.scm')
0 files changed, 0 insertions, 0 deletions