Re: substitute server rename

[Andy Tai]

Thanks.  specifying --substitute-urls="https://new.server.name
https://ci.guix.gnu.org"; worked

On Sat, Jan 1, 2022 at 1:04 PM Tobias Geerinckx-Rice <m...@tobias.gr> wrote:
>
> Andy,
>
>   $ sudo guix system reconfigure /etc/config.scm --no-substitutes
>
> or
>
>   $ sudo guix system reconfigure /etc/config.scm
>   --substitute-urls="https://new.server.name [others…]"
>
> Kind regards,
>
> T G-R