[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

substitute server rename

From: Andy Tai
Subject: substitute server rename
Date: Sat, 1 Jan 2022 10:31:21 -0800

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

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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]