Hi, Ricardo Wurmus <[email protected]> skribis:
> Ludovic Courtès <[email protected]> writes: > >> Ludovic Courtès <[email protected]> skribis: >> >>> guix-daemon is configured to use the default substitute URLs, >>> https://ci.guix.gnu.org and https://bordeaux.guix.gnu.org, which we know >>> are unreachable. >>> >>> I’ve theoretically addressed this here: >>> >>> >>> https://git.savannah.gnu.org/cgit/guix/maintenance.git/commit/?id=99bd9dc9001d6bea7480a7ce0e0e10ff78adb787 >>> >>> https://git.savannah.gnu.org/cgit/guix/maintenance.git/commit/?id=b0661cc7d6dd74b0aeac3b052a80a8a2fef2af9c >>> >>> I tried to reconfigure those boxes with ‘guix deploy’, but this is >>> currently on hold because ci.guix has run out of inodes… >> >> Time passed and I had kinda forgotten about it, but the problem remains. > > I wrote this earlier: > >> They should be using the local IP instead of routing through the >> internet, so /etc/hosts should contain an entry for >> >> 141.80.167.131 ci.guix.gnu.org > > So running the daemon with “--substitute-urls=http://10.0.0.1” should > not be necessary. Oh my bad, sorry for overlooking your message. Explicitly going through http://10.0.0.1 is still desirable I think because we avoid HTTPS altogether. ‘guix deploy’ is still running on berlin.guix and building things; unfortunately I’m going AFK for a bit. I’ll pick it up later unless someone takes care of it by then. Thanks, Ludo’.
