substitute server rename

substitute server rename

[Andy Tai]

Hi, I have another guix channel in my system configruation which has
its own substitute server.  Recently the substitute server have been
renamed so following

https://guix.gnu.org/manual/en/html_node/Getting-Substitutes-from-Other-Servers.html

I edited /etc/config.scm to rename the substitute server.  Then I do

sudo guix system reconfigure /etc/config.scm

but that failed because it still tried to reference the old substitute
server which no longer exists with its host name unresolvable via DNS
and thus the reconfigure command then failed.    What can I do to get
around the old substitute server no longer available?

Re: substitute server rename

[Tobias Geerinckx-Rice]

[-- Attachment #1: Type: text/plain, Size: 220 bytes --]

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

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 247 bytes --]

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 <me@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