If *guix.gnu.org is blocked for your network by any reason^1, you can use a reverse proxy, which mirrors various guix services. Please don't use it if the upstream services is available for you.
Proxies are available in clearnet and yggdrasil. All services are exposed via HTTP, if you want to have the traffic to be end to end encrypted use yggdrasil, the https option with self-signed certificate is also provided. The instruction about yggdrasil setup should appear here in some future.
To use a substitute proxy, specify --substitute-urls argument for
all guix subcommands requiring any builds. For example:
guix build --substitute-urls="https://bordeaux.guix.gnu.org https://ci.guix.trop.in" htopIt will also work for guix system reconfigure and many other.
It's also possible to obtain substitutes via Tor, directly from ci.guix.gnu.org host and there is another mirror^2.
This is a basic installation image, but ci.guix.gnu.org substitute server is changed to ci.guix.trop.in mirror.
Built using this simple operating-system record definition and my local guix checkout.
To build a similiar image yourself, add rde channel and do:
guix system image -t iso9660 \
-e '(@ (rde system install) guix-with-substitute-mirror)'If you use graphical installer and network check fails, ctrl-alt-f3:
touch /tmp/installer-assume-online