From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id UFdvLxek5WYGTwEAqHPOHw:P1 (envelope-from ) for ; Sat, 14 Sep 2024 14:56:23 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id UFdvLxek5WYGTwEAqHPOHw (envelope-from ) for ; Sat, 14 Sep 2024 16:56:23 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=Cj4j3bD2; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1726325783; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=K+WpZdM/apDQ8ZhEEhwOe2mc5PZ2aE3IB0tEzWfVggc=; b=YSYtNXen2eIU+//ruFDc9G6wo/Y/Dt6uW1T8FvQHsfDQMBYL416JciLH2yXJlAwCuKFLLB tVCiZNXy6grbDY4ld5VPdTB4NRdZSEYokmTRp13Lwg119nP+OHxI+d0pRWC5zNgdg41k7+ N0/+U0d9UzS5koyyMtHCerLtF4eqgWYb1YS8IIPR6JPJxYEBaEoNRl1ApcRmE3wklrt1yt 02JeMsl699geKKjNvAvM/pZSdvpfcNI1FrxpPV9QXicVtOdZSrkI4Kd/krcIcpz/97rHxv GlxDp+GKosRFhUjuaKAQ64xAgOG7P6co37Rr4G6eEuh3+8ut7YPL/V71766rJg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=Cj4j3bD2; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmail.com ARC-Seal: i=1; s=key1; d=yhetil.org; t=1726325783; a=rsa-sha256; cv=none; b=lewMz+PPHnQPyOfPEbqYzzqeuDAxRPOW7jOQI61jof9MJ093tL1WzS172Iy8S9bPxtRgza Ds9e/+YNjTqziCjdVmbJ7UEOfUZY707RaZwbw3Rg1ETlBDZCNHaKYgjO2rWGGDWoefULbo 1ofpoY+aSB0QdKQ0eLwbpMFRPE/5O1OR9R3zuNsDDb0JrJRr8SHZ3UGkGWKc23lppy5FKS IsPbuFgzZkoxhNexYqLMGIWvEUgvijEB3U8wqvId5xMsaJ1rpa+d1K1YtY9XaYMatJRQzQ 4Jrd4uSt3KkcATzA20YBQ6eFvzK6nWphNETZoDFGXCD+HK3ya9fBi0H+VAD0xA== 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 9CD0D2EF6 for ; Sat, 14 Sep 2024 16:56:23 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1spUBj-0001Aa-Qm; Sat, 14 Sep 2024 10:55:53 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1spUBe-00019H-W3 for guix-devel@gnu.org; Sat, 14 Sep 2024 10:55:47 -0400 Received: from mail-pg1-x536.google.com ([2607:f8b0:4864:20::536]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1spUBd-000763-DF for guix-devel@gnu.org; Sat, 14 Sep 2024 10:55:46 -0400 Received: by mail-pg1-x536.google.com with SMTP id 41be03b00d2f7-70b2421471aso1222684a12.0 for ; Sat, 14 Sep 2024 07:55:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726325742; x=1726930542; darn=gnu.org; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=K+WpZdM/apDQ8ZhEEhwOe2mc5PZ2aE3IB0tEzWfVggc=; b=Cj4j3bD2bYz3tJE9KI04w2Ujqe24d0G5g63t2Ry6hZGKKYjGydvulFP/2AcAJJBTQD XpeHoBX6UcCK7LFuxbP1rZ9NuLg9vcBfmAI16ePNv8bV9vJcH5vKZCZna8veYjgWr0KE gPZZGOG67jOCLNO/Z4653QWQSErre8jsEaWvbsYNAjQAA5bEiJ6ZPwze7XTKLx6w6TI4 PPjeDB2B9Zi15tnMLOaAjYgHT4jIKChc1qm4pMdnAiucMffs+YKlBFM2uliiNuYj6r59 qNDlGXvRA7ozWQs8yb2Y+1z0Pcw1XvXfy2C9ll12oSKqZkANSKne0beR425Q/5zCSkoe bsgw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726325742; x=1726930542; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=K+WpZdM/apDQ8ZhEEhwOe2mc5PZ2aE3IB0tEzWfVggc=; b=Gsc5pR4BubaK7xECNqt+PiR/i5uBaQEGIBVv2l45wSgTh0eJiuvMuq7CMbi2ie2XUx pJH+94JH5WlOKR/gAPvL/szF5EAx5WLbyDum+Cmw+kLWisNqrFijShThR+sBHdMR8Vec qE0aB0k75BIteFu+OICxd9RLn+G8fYMLZnyrizJVw8rAAY40rrkhrly4tKjYy88nJQc4 eSTjuhjw60P8GcM4o4xQUoCUl3HLZ1Kjp9VYDCXYMJoNTt+jxqf7ZovdLt6VgVcf2Ka6 Gtt2urLkppkGInbYuR5WtlO/Vvbyk9Nhw9Hre9uG3kYjH7ElKtWYJxb4PMlyofhRIMJE RD0Q== X-Forwarded-Encrypted: i=1; AJvYcCW9y/A7yKaoK8QkcDVu4gSZHt0fUElUn6pKRaK/TSLZ6JGDRYoRSYbFTP2RYfh/hKbSJcfWrNcRM/Tq@gnu.org X-Gm-Message-State: AOJu0Yyi3RBK31JBfEE0Ka0RBde03nv+wvKSQLXV7Go5F7qYH4VaUaSo paQkqyb/mWu0lhTpvro+5u6fZSlr4UBiFTKwPtZuF3FNJu9gT3MTGHQOeVaS X-Google-Smtp-Source: AGHT+IHQaWOqmdFBOc7kpcoAyUFDBrPzXUWPCDF3EZ/wVfzlbL/ZTZfwdpAojjvs2umHgaECSmN+TA== X-Received: by 2002:a05:6a20:c6ce:b0:1cf:4fa8:49f2 with SMTP id adf61e73a8af0-1d112eb2521mr8749513637.49.1726325742062; Sat, 14 Sep 2024 07:55:42 -0700 (PDT) Received: from hurd ([2405:6586:be0:0:c8ff:1707:9b9:af89]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-71944a9cac0sm1078039b3a.43.2024.09.14.07.55.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 14 Sep 2024 07:55:41 -0700 (PDT) From: Maxim Cournoyer To: Ian Eure Cc: 72686@debbugs.gnu.org, guix-devel Subject: Re: bug#72686: Impossible to remove all offload machines In-Reply-To: <87plq75cbc.fsf@meson> (Ian Eure's message of "Sat, 17 Aug 2024 09:40:29 -0700") References: <87plq75cbc.fsf@meson> Date: Sat, 14 Sep 2024 23:55:38 +0900 Message-ID: <87zfoaqo7p.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2607:f8b0:4864:20::536; envelope-from=maxim.cournoyer@gmail.com; helo=mail-pg1-x536.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Queue-Id: 9CD0D2EF6 X-Migadu-Scanner: mx11.migadu.com X-Spam-Score: -9.82 X-Migadu-Spam-Score: -9.82 X-TUID: 084B6Ux8d5L4 Hi Ian, Ian Eure writes: > Ran into this issue last week. If you: > > - Configure some offload build machines in your operating-system > configuration. > - Reconfigure your system. > - Remove all offload build machines. > - Reconfigure your system again. > > ...then various guix operations will still try to connect to offload > machines, even if you reboot the affected client. > > This is caused by a bug in the `guix-activation' procedure: > > ;; ... and /etc/guix/machines.scm. > #$(if (null? (guix-configuration-build-machines config)) > #~#f > (guix-machines-files-installation > #~(list #$@(guix-configuration-build-machines > config)))) > > If there are no build machines defined in the configuration, no > operation is performed (#f is returned), which leaves the previous > generation=E2=80=99s /etc/guix/machines.scm in place. > > The same issue appears to affect channels: > > ;; ... and /etc/guix/channels.scm... > #$(and channels (install-channels-file channels)) Interesting! > I=E2=80=99d be happy to take a stab at fixing this, but I=E2=80=99m not c= ertain what > direction to go, or how much to refactor to get there. Should the > channels/machines files be removed (ignoring errors if they don=E2=80=99t > exist)? Should empty files be installed? Should that happen inline > in `guix-activation', or in another procedure? Should the filenames be > extracted to %variables to avoid duplicating between the two places > they=E2=80=99ll be used? > > If someone would like to provide answered, I would contribute a patch. I guess the simplest would be to attempt to remove the files when there are no offload machines or channels, in this already existing activation procedure. Extracting the file names to %variables sounds preferable yes, if there's a logical place to store them that is easily shared. A patch would be dandy! --=20 Thanks, Maxim