Nonguix.org down!

I just noticed that nonguix.org is down and I can’t get stuff from substitutes.nonguix.org.

Use nonguix-proxy.ditigal.xyz as substitutes server instead. Same public key works.

It’s been like this for a while. Apparently it is only reachable through IPv6 and the maintainer doesn’t seem in rush to bring IPv4 back. See nonguix issues. I guess the proxy only does this: a IPv4-to-IPv6 translation.

Thanks, I got the same answer yesterday from the IRC but didn’t got it to work before I needed to dash home.

I tried https://nonguix-proxy.ditigal.xyz as a command line argument. Did i miss the substitutes subdomain?

sudo guix system -L <path_to_my_guix_system.scm>  --substitute-urls="https://nonguix-proxy.ditigal.xyz https://bordeaux.guix.gnu.org"

worked for me

Not sure, why I had the impression it didn’t work last time.

Maybe you typed digital.xyz instead of ditigal.xyz in the first place? That’s what I did!

From the history it doesn’t look like it but maybe a network hiccup as I was using my phone as a WIFI-hotspot.