Re: substitute server rename

[Tobias Geerinckx-Rice]

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

signature.asc
Description: PGP signature