From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id AD6/FjGe0GFO1gAAgWs5BA (envelope-from ) for ; Sat, 01 Jan 2022 19:32:17 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id aCxiEzGe0GGLyAAAauVa8A (envelope-from ) for ; Sat, 01 Jan 2022 19:32:17 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 9ECF338925 for ; Sat, 1 Jan 2022 19:32:16 +0100 (CET) Received: from localhost ([::1]:35698 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n3jAt-0000qL-3v for larch@yhetil.org; Sat, 01 Jan 2022 13:32:15 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52010) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n3jAf-0000qD-Uw for help-guix@gnu.org; Sat, 01 Jan 2022 13:32:01 -0500 Received: from [2607:f8b0:4864:20::d36] (port=44770 helo=mail-io1-xd36.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n3jAd-0004BV-Hw for help-guix@gnu.org; Sat, 01 Jan 2022 13:32:01 -0500 Received: by mail-io1-xd36.google.com with SMTP id h23so25808552iol.11 for ; Sat, 01 Jan 2022 10:31:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=atai-org.20210112.gappssmtp.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=rt4NVLZaFotHmDTnlhI86RfWy9x3LVNeQ7dzf4b8kH4=; b=79MUKbZk92rQ8QVryaei+upLa7mdBrHWwgxGRNjpAWyyK+xnySSxY4IKAfcGvhyjEr R0UlUsvvpCx+6zoAlJsXonkq8Evm6zchR3cRmEYbuLiuwJEgeEWeCINwKBfnZE4NQmQA L/hZHFlvLeIVaya5XfJuS774l92hYzaQDU/EyVhIkqzLZt6I5uZnZCJCIQ0rN13P48xv F3cJmOfNbtAu5Xh2fsJGJv+LwpO1Opu11oAjkeavUlZkmnWvy77y6HHsundMdmuSZhv+ naM2VN+h4/eOZYfYh51//i/2Zuuo5nODPnnPrK1C3XBddiIQ2/et1gs4xajY0xuM7UGa 88YA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=rt4NVLZaFotHmDTnlhI86RfWy9x3LVNeQ7dzf4b8kH4=; b=wH8fFCIu6a7ZnYC6O1OZWQ4ljEYk8GIZMtE+DIlEgDkmUlemnr3wCjySHE0LXHqA+b PDpSMPId4e8lYiO8FwvrLOvVLlB3J+0ShTyepKx4qdBefASVx+nTVmV7IETJN3AHGhV0 CWG8soveodj5n1PAZiuQgxOhhElM3+pzB+jLl635mieqKRfl9dARVhIn70sNaI+T+ljl QmaT8NIOuMMW6PNPUKcstweSYuRRVW7ZnYspqe6ovUzZFRg03SmPacuQUqHVJpih9IOt oVlp/WYeRtci2QG6s83F52NGBps6+cTvaVDZEl2kzhwc+B5ISMTkxc3YJHN6+82LZ8rK rHMg== X-Gm-Message-State: AOAM532icUVcafYmf5bZDgInOkHnYIKZngiA4okBJP6XHKTDxVGwaEnZ T7HzHQ4fFmkTVDRBCKrpSRreMR2wZBieLYpR/r0NMBSvUyW8bw== X-Google-Smtp-Source: ABdhPJxin8oJ5aBCc/mYHHIP3A4lxUy/9Im3oQGW6WmZQ55jD3m+H7/9/2GxXVBCxc3T4Fy/V0LOylcata3gFToZCjo= X-Received: by 2002:a02:6282:: with SMTP id d124mr19042909jac.61.1641061917639; Sat, 01 Jan 2022 10:31:57 -0800 (PST) MIME-Version: 1.0 From: Andy Tai Date: Sat, 1 Jan 2022 10:31:21 -0800 Message-ID: Subject: substitute server rename To: help-guix@gnu.org Content-Type: text/plain; charset="UTF-8" X-Host-Lookup-Failed: Reverse DNS lookup failed for 2607:f8b0:4864:20::d36 (failed) Received-SPF: pass client-ip=2607:f8b0:4864:20::d36; envelope-from=lichengtai@gmail.com; helo=mail-io1-xd36.google.com X-Spam_score_int: 13 X-Spam_score: 1.3 X-Spam_bar: + X-Spam_report: (1.3 / 5.0 requ) DKIM_SIGNED=0.1, DKIM_VALID=-0.1, FREEMAIL_FORGED_FROMDOMAIN=0.249, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.25, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1641061937; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=rt4NVLZaFotHmDTnlhI86RfWy9x3LVNeQ7dzf4b8kH4=; b=j7JDXx7bfSVIz3eQyyoTkTPEetXK/MMKObuxOaQWtJKk/wTc8F2G3NDYo6MVI+K38+PHDH GDgkNea4Be+p8B8cXhuEpIXN5yoQSYUMG2wcD/cYE/ojauk7l5UJfgMZAsNhDwZQDNfUhM jrfEA1X1/hf5kp62R8vU3QFQ5awFB86qt8/CPtwF53Szw8fHxnLZTmb06re7L0+xUwa6tE QUC3rUrddcY5Ke3WrxNp560pY2qNXniJ4lalXJT5VYZ0r7JA5dpRxO8Fk4HuGvW91BZPNx RnVZpqhNX+C9Vo1NwybAzoYYyy5TNnVl/4F8dbS+7pgosZVNbGoQkK5dv6DZKg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641061937; a=rsa-sha256; cv=none; b=WwVP5GwB2tI6sC7Cg/iDJYVB2cFp9jBfZcPb6pgr1/Z2EwJRR0VavMuga9sFUwT2SjtZBo 7lIKR3k+6LhkPOG1D9BOFbwJbuuqu6GrtOocD9+QRNdmKZybj/USjwY8fvFAW7VGB4zIbI c3Ccl6C2yXHHBaYav9VWt0MsOsYMT20LG+n2DlsKVif4iXEezr8OAoklpflj1PhiyDdfuO qXiL5l4CVxV0vCf4+kJdFxbhzBUD5IRs8tSz3jU6v0pMA6uDvosyGh0zWVPf/cjx8Sb/en s3fp94PdesiZkUiUm2EQurPgicMVBw3cqNr6XJZd8B3wt4VIzYwUNLH0I7sdtg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=atai-org.20210112.gappssmtp.com header.s=20210112 header.b=79MUKbZk; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -5.58 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=atai-org.20210112.gappssmtp.com header.s=20210112 header.b=79MUKbZk; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 9ECF338925 X-Spam-Score: -5.58 X-Migadu-Scanner: scn0.migadu.com X-TUID: 9z6RqOLLDDvo 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?