* 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).