[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: substitute server rename
|
From: |
Andy Tai |
|
Subject: |
Re: substitute server rename |
|
Date: |
Mon, 3 Jan 2022 01:10:06 -0800 |
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