diff options
author | Ludovic Courtès <ludo@gnu.org> | 2023-05-22 17:19:39 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-05-30 00:15:29 +0200 |
commit | 8af9a2aa5fa2fa5b00234c1cbe12e9aff60888a0 (patch) | |
tree | dfba35bca4c132a0bccd71cd7ef85369e116e819 /gnu | |
parent | d23d8fcee99e7b127f9e649925caca9cf0d36e76 (diff) |
substitute: If a server's nar URL is 404, try the next one(s).
If a substitute server advertises in its narinfo, for example, both a
/zstd and a /lzip URL but the /zstd URL is unreachable, try the /lzip
URL.
Fixes <https://issues.guix.gnu.org/63634>.
* guix/narinfo.scm (narinfo-preferred-uris): New procedure.
(narinfo-best-uri): Rebase on top of it.
* guix/scripts/substitute.scm (download-nar)[try-fetch]: New procedure.
Use 'narinfo-preferred-uris' and 'try-fetch' to attempt all the URLs of
NARINFO.
* tests/substitute.scm (request-substitution): Remove 'parameterize'.
Delete DESTINATION.
("substitute, preferred nar URL is 404, other is 200"): New test.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions