unofficial mirror of help-guix@gnu.org 
 help / color / mirror / Atom feed
* substitute server rename
@ 2022-01-01 18:31 Andy Tai
  2022-01-01 21:04 ` Tobias Geerinckx-Rice
  0 siblings, 1 reply; 3+ messages in thread
From: Andy Tai @ 2022-01-01 18:31 UTC (permalink / raw)
  To: help-guix

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?


^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: substitute server rename
  2022-01-01 18:31 substitute server rename Andy Tai
@ 2022-01-01 21:04 ` Tobias Geerinckx-Rice
  2022-01-03  9:10   ` Andy Tai
  0 siblings, 1 reply; 3+ messages in thread
From: Tobias Geerinckx-Rice @ 2022-01-01 21:04 UTC (permalink / raw)
  To: Andy Tai; +Cc: help-guix

[-- 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 --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: substitute server rename
  2022-01-01 21:04 ` Tobias Geerinckx-Rice
@ 2022-01-03  9:10   ` Andy Tai
  0 siblings, 0 replies; 3+ messages in thread
From: Andy Tai @ 2022-01-03  9:10 UTC (permalink / raw)
  To: Tobias Geerinckx-Rice; +Cc: help-guix

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


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2022-01-03  9:11 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-01 18:31 substitute server rename Andy Tai
2022-01-01 21:04 ` Tobias Geerinckx-Rice
2022-01-03  9:10   ` Andy Tai

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).