Отключение конкретных substitutes при установке Guix
При установке Guix он первым делом лезет на ci.guix.gnu.org, который внезапно оказался заблокированным в России (с какой стороны – не совсем понятно). На готовой системе можно просто убрать его из списка substitutes и пользоваться системой без проблем, но при установке на реальное железо приходится ждать, пока установщик не поймет, что сервер недоступен, и не начнет стучаться по другим адресам (и так для каждой группы пакетов).
Понятно, что можно все это прокинуть через VPN, но очень лениво городить такие схемы ради одного только процесса установки. Может быть, как-то можно в установочном скрипте запретить этот конкретный сервер?