[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
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?
- substitute server rename,
Andy Tai <=