From unknown Tue Sep 09 05:49:42 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#62274 <62274@debbugs.gnu.org> To: bug#62274 <62274@debbugs.gnu.org> Subject: Status: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. Reply-To: bug#62274 <62274@debbugs.gnu.org> Date: Tue, 09 Sep 2025 12:49:42 +0000 retitle 62274 [PATCH] home: 'home-environment-with-provenance' uses the HE = location info. reassign 62274 guix-patches submitter 62274 Sergey Trofimov severity 62274 normal tag 62274 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 19 11:45:39 2023 Received: (at submit) by debbugs.gnu.org; 19 Mar 2023 15:45:39 +0000 Received: from localhost ([127.0.0.1]:52581 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pdvE2-0007Qj-Sy for submit@debbugs.gnu.org; Sun, 19 Mar 2023 11:45:39 -0400 Received: from lists.gnu.org ([209.51.188.17]:57784) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pdvE0-0007Qb-Un for submit@debbugs.gnu.org; Sun, 19 Mar 2023 11:45:37 -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 1pdvE0-0003dt-Ik for guix-patches@gnu.org; Sun, 19 Mar 2023 11:45:36 -0400 Received: from mail-ed1-x536.google.com ([2a00:1450: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 1pdvDy-0001jW-Kq for guix-patches@gnu.org; Sun, 19 Mar 2023 11:45:36 -0400 Received: by mail-ed1-x536.google.com with SMTP id h8so37903676ede.8 for ; Sun, 19 Mar 2023 08:45:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sarg.org.ru; s=google; t=1679240731; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=zPHiimo/bltUndHiAd+CQOUKYKT4DJVBToQHLqTTlr0=; b=GtRlSYQkYnq69iDXo5TA3vHQKTD2LFGQpn7vFGu240EfJUa1bmEi2no2qzLgzBtPjj 22Lo6INmZPRY1JFQA2YoxKFHE+uQXOBZM15N3vwVTvIF6TrrtC0XEZQuYJhoqJWuS+qZ y11JGOmIrNj/TcDtZAizdtXWNxdjmWZDWimvc= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679240731; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=zPHiimo/bltUndHiAd+CQOUKYKT4DJVBToQHLqTTlr0=; b=1CmZgQfzqe45SQCE3CJkOO1A+mhasrTBmWrqUydyXlmntIoyNfFF4Jjn99I0jHMRMY cJWI66yIgJcqNlqA5Th7uWf641lHldlijRl9Oo9ZQl/ujLcQR27bjj2M/BzZlbstfbkt Dk+oWyBFUpKHRxJeNyPznQCd8Zp++XQE9mg4rodhg5YfAcwGTcl25jFnXTcB/QjSReXJ T7dt48FuzUDvg38VdYPdgA+ShnpMJ5kOaBs1nU4eHVa1yLnuEuH5AHXozESKO21PzGq8 VbHEueyeJnGIlJ2xAPIpVb4x0ULIop2KbUp7vNuNoXTcDECMGpPLkB9LtJuhhQ4lasb/ am5g== X-Gm-Message-State: AO0yUKVr+gxFDaRxnksUC58ntmR1HRNQAsWGSAgYM1gabXtLf5Y8U/hE 9C9gePZ+so3NqwxQ5fKobI2Chf8lWxKPw62TmFg= X-Google-Smtp-Source: AK7set9sF9JlWxThT7dYLgSxnUPBM1vbrb32heRxoKfUIEm0abdF9uPg4IdH6a4HhnRcx4I7Ogvyuw== X-Received: by 2002:aa7:c851:0:b0:500:40f4:f8 with SMTP id g17-20020aa7c851000000b0050040f400f8mr7042386edt.0.1679240730804; Sun, 19 Mar 2023 08:45:30 -0700 (PDT) Received: from localhost ([95.168.147.255]) by smtp.gmail.com with ESMTPSA id u22-20020a50d516000000b004ad601533a3sm3695712edi.55.2023.03.19.08.45.30 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 19 Mar 2023 08:45:30 -0700 (PDT) From: Sergey Trofimov To: guix-patches@gnu.org Subject: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. Date: Sun, 19 Mar 2023 16:45:37 +0100 Message-Id: <20230319154537.30463-1-sarg@sarg.org.ru> X-Mailer: git-send-email 2.39.2 MIME-Version: 1.0 X-Debbugs-Cc: paren@disroot.org, andrew@trop.in, ludo@gnu.org Content-Transfer-Encoding: 8bit Received-SPF: none client-ip=2a00:1450:4864:20::536; envelope-from=sarg@sarg.org.ru; helo=mail-ed1-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, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit Cc: Sergey Trofimov X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) * gnu/home.scm (home-environment-with-provenance): Make `config-file` optional, with the default taken from the HE location info. --- gnu/home.scm | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/gnu/home.scm b/gnu/home.scm index 6d3f705758..2fefe7ba53 100644 --- a/gnu/home.scm +++ b/gnu/home.scm @@ -103,7 +103,21 @@ (define* (home-environment-derivation he) #:target-type home-service-type))) (service-value home))) -(define* (home-environment-with-provenance he config-file) + +(define (home-environment-configuration-file he) + "Return the configuration file of HE, based on its 'location' field, or #f +if it could not be determined." + (let ((file (and=> (home-environment-location he) + location-file))) + (and file + (or (and (string-prefix? "/" file) file) + (search-path %load-path file))))) + +(define* (home-environment-with-provenance he + #:optional + (config-file + (home-environment-configuration-file + he))) "Return a variant of HE that stores its own provenance information, including CONFIG-FILE, if available. This is achieved by adding an instance of HOME-PROVENANCE-SERVICE-TYPE to its services." -- 2.39.2 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 20 02:53:18 2023 Received: (at 62274-done) by debbugs.gnu.org; 20 Mar 2023 06:53:18 +0000 Received: from localhost ([127.0.0.1]:53528 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pe9OQ-0005cU-5O for submit@debbugs.gnu.org; Mon, 20 Mar 2023 02:53:18 -0400 Received: from relay8-d.mail.gandi.net ([217.70.183.201]:60441) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pe9OO-0005cH-Ha for 62274-done@debbugs.gnu.org; Mon, 20 Mar 2023 02:53:17 -0400 Received: (Authenticated sender: andrew@trop.in) by mail.gandi.net (Postfix) with ESMTPSA id 89BC61BF207; Mon, 20 Mar 2023 06:53:08 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=trop.in; s=gm1; t=1679295190; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=/JssbfQjzdELKz2FnP0sCPOXR5HrQArZh6SMhE6/RdE=; b=f2Zlun2RQe58FN4bADnzIktCe2ANBMtwOvXjIBlUyHUuGfwjb0HOwGncP+GaEz24TgR1OM lAuF99Jpv4LBjjs6MyewWSt3/DqBfPzhDG81dwblJsU+uFV/oC+kLGDK4dAz7Vq09PvAk7 PvLm4hkCxptpzekllLHXrIjtkjlVAn6R8wdE2j/AhTJi3DMqefbfgTj6OfiJwc+9XgVLaQ CogeSQZoV9E5RqBhSpOk+538XTSmY320TerfJqtYy0EUBagJL2Z8gTyhIs21t6PAb2yVhk cA4W6WRmYD95eF0DpCrrGgbQGYmJOH6hNEtJiBSHT878y7KsWwi+VVgp28XG3Q== From: Andrew Tropin To: Sergey Trofimov , 62274-done@debbugs.gnu.org Subject: Re: [bug#62274] [PATCH] home: 'home-environment-with-provenance' uses the HE location info. In-Reply-To: <20230319154537.30463-1-sarg@sarg.org.ru> References: <20230319154537.30463-1-sarg@sarg.org.ru> Date: Mon, 20 Mar 2023 10:52:55 +0400 Message-ID: <87pm9352yg.fsf@trop.in> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 62274-done Cc: paren@disroot.org, ludo@gnu.org, Sergey Trofimov X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On 2023-03-19 16:45, Sergey Trofimov wrote: > * gnu/home.scm (home-environment-with-provenance): Make `config-file` > optional, with the default taken from the HE location info. > --- > gnu/home.scm | 16 +++++++++++++++- > 1 file changed, 15 insertions(+), 1 deletion(-) > > diff --git a/gnu/home.scm b/gnu/home.scm > index 6d3f705758..2fefe7ba53 100644 > --- a/gnu/home.scm > +++ b/gnu/home.scm > @@ -103,7 +103,21 @@ (define* (home-environment-derivation he) > #:target-type home-service-type))) > (service-value home))) >=20=20 > -(define* (home-environment-with-provenance he config-file) > + > +(define (home-environment-configuration-file he) > + "Return the configuration file of HE, based on its 'location' field, o= r #f > +if it could not be determined." > + (let ((file (and=3D> (home-environment-location he) > + location-file))) > + (and file > + (or (and (string-prefix? "/" file) file) > + (search-path %load-path file))))) > + > +(define* (home-environment-with-provenance he > + #:optional > + (config-file > + (home-environment-configurat= ion-file > + he))) > "Return a variant of HE that stores its own provenance information, > including CONFIG-FILE, if available. This is achieved by adding an inst= ance > of HOME-PROVENANCE-SERVICE-TYPE to its services." Thank you for the patch, applied and pushed as 1f36534c7e8f2325bff4df5d37ecc811dc63fc38. =2D-=20 Best regards, Andrew Tropin --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEKEGaxlA4dEDH6S/6IgjSCVjB3rAFAmQYAscACgkQIgjSCVjB 3rBeAQ/9HAhyXU27Ke0ZuXHkmT0YZt7md6puchXG1aS1Nif14cb6EyTnz4RZHU2O hyL3pDDGMbVB33SyRO37I/s3CCoE0XXFk5MIjxKJX7BRwc7/NicfaIABqnmCzIMD mV2R4o21prT6G5hPUWeE/0fcxgQ5olu2C5bidvyEuoxjieBcxMPB6de+TQUpodzd gWE7aKqylUjsgmwOSylKLc1Ary660oHaD7u5JsqMJriGmzkQxMVptknlb9cq4gZV Gnsu09UsJo5Mc+Fo5/lcinz+eq61HgzqC5ZxPDHNpEMFrUZhtjMzE7+/tSHcHJHl 1fXyIZhwfTVEvppvxaxZrhCAh9TSHxF+VIJAkRI2yIjSR1L+GDfYWWPUE3wFsmN2 qF/1Aa5QDfHmPXCicQ7c9jo3eurvHiT/FYO8t8D3KdUXuXXcYdc4U3MbniwuPwLR NrOFXJofxzAeD1gI8OdeO8wZJRkiCbOdLg4ptaBCz3AQXjXIg2hJ3bUCfzVaGoWM beWIio5tBErNLhCVRgSOdl/riG3+tSPiPJCGAHP0bnaVXY7QrDavtbWitWBfwAkm d5rwlOSC3cw/IVf73BMfYheCn4Ou9gsMf86AG/aXRejkbiBRQpcfYYa24wxAUq06 qrA0/dm7hFhuoCkyKFVQYsxHXWR0heZtfx0K1Wo9ipxNfjENmno= =ozmU -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 20 13:33:42 2023 Received: (at 62274) by debbugs.gnu.org; 20 Mar 2023 17:33:42 +0000 Received: from localhost ([127.0.0.1]:56516 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peJOA-00051E-Hs for submit@debbugs.gnu.org; Mon, 20 Mar 2023 13:33:42 -0400 Received: from eggs.gnu.org ([209.51.188.92]:39804) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peJO9-000511-M8 for 62274@debbugs.gnu.org; Mon, 20 Mar 2023 13:33:42 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1peJO2-0001Im-Sg; Mon, 20 Mar 2023 13:33:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=4n5DSeKh3sSxuPsZUj5n7KamxOHQbomjOz6XWpyRXFE=; b=iSOupAKgP1KBBlSx4XwD 4IoQQ+QXn3vtcIt360IHD+m7SEMIFTefmVF4oBwwytKBynTtPeH88tIaf8VO+inPSxxhho2UN05X/ LOEVzeCcD2GecPlsSDpE8/I7ag/rs3pZUFGDPjrvHvBmFmeYO1Wk/Ya7oe9FFLLuemW2RlV9cu9Gi YJt5z4iwiVY3sFl+oLxkFdDADiGZWkYx0JWM4RiCti+7N05SaIGUOtk0hBceo/FGOmaH7H+nSu7Q4 5LpL3YQhjfbX0IzcYi1UBM+uyfswm8QsDARFMtWGATABEImMFdcqa45c6FbzXyMm0ffSr+PYETSK2 gAQsFOj9pIQttA==; Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1peJO2-0003l5-G1; Mon, 20 Mar 2023 13:33:34 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Sergey Trofimov Subject: Re: bug#62274: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. References: <20230319154537.30463-1-sarg@sarg.org.ru> Date: Mon, 20 Mar 2023 18:33:32 +0100 In-Reply-To: <20230319154537.30463-1-sarg@sarg.org.ru> (Sergey Trofimov's message of "Sun, 19 Mar 2023 16:45:37 +0100") Message-ID: <87bkknl443.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 62274 Cc: 62274@debbugs.gnu.org, paren@disroot.org, andrew@trop.in X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi Sergey and all, Sergey Trofimov skribis: > * gnu/home.scm (home-environment-with-provenance): Make `config-file` > optional, with the default taken from the HE location info. [...] > +(define* (home-environment-with-provenance he > + #:optional > + (config-file > + (home-environment-configurat= ion-file > + he))) AFAICS, there=E2=80=99s only one call site for =E2=80=98home-environment-with-provenance=E2=80=99, and it passes two argum= ents. Thus, the default value added by this patch will never be used. Am I missing something? Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 20 15:08:25 2023 Received: (at 62274) by debbugs.gnu.org; 20 Mar 2023 19:08:25 +0000 Received: from localhost ([127.0.0.1]:56833 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peKro-0002gg-KA for submit@debbugs.gnu.org; Mon, 20 Mar 2023 15:08:24 -0400 Received: from mail-ed1-f45.google.com ([209.85.208.45]:33537) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peKrn-0002gR-0H for 62274@debbugs.gnu.org; Mon, 20 Mar 2023 15:08:23 -0400 Received: by mail-ed1-f45.google.com with SMTP id i5so3987150eda.0 for <62274@debbugs.gnu.org>; Mon, 20 Mar 2023 12:08:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sarg.org.ru; s=google; t=1679339297; h=content-transfer-encoding:mime-version:message-id:in-reply-to:date :subject:cc:to:from:user-agent:references:from:to:cc:subject:date :message-id:reply-to; bh=yP52kf++fcRaYaCsKaeA0nRTRAhMxxvy612NIWjdBz0=; b=gJ2RF90jFDSEAzlKCAEGYorfB5eAGjMiJyq7rtOpn87425mgIm7a98+/uMm9VymOvy tJbZMshAaSzpSwB5jkJEb3GXSelbGtheHYGdg5c+Rj/T2wgBlwA3ttznt5Ev/31t49Ln BVXo5ulatNfny20/88WcYEFIHb7r3sIno3bz0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679339297; h=content-transfer-encoding:mime-version:message-id:in-reply-to:date :subject:cc:to:from:user-agent:references:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=yP52kf++fcRaYaCsKaeA0nRTRAhMxxvy612NIWjdBz0=; b=IiZS/Bnukz8++NJc/iPiw0pruJ6jvG4MYsgEm1RFbgEwHD6NlQ/nQOWC5g6NFl/EBe XPBd7RLLnJ9/TMbcKygIKQiK6dBrJnqNUT4rnN81NvuSAGpNQsI+sS8ht7xmZ3fmwLcL P/GiBrkiN92r89iQJq07iyj3JDA1B6/JZoVuQ+QFqo8Ezw23CXrtpqJZUdCIE9a9nfC/ 0r2JRCSQbv9oHupjpkqdWxG7uWT97TU4s6cKMWZlQLkVMIOg5mM4A9taFFxlhuETj6WX oyiMy2boSUmaV0KGRb7X6zTpRxeqGjfznPU+Q6sKTBfRmzAgwUPuyfJTf6aUMm89V/Ig AW1Q== X-Gm-Message-State: AO0yUKXF2TKzPTjEpMPYQEq5y1aVD28Cduo4icfbeziMiEgFcKPCbhF0 c9W9Xhnn/vA7T8DHqYWuw0nu7Q== X-Google-Smtp-Source: AK7set8w6rHAWLEkFsd7gPBTh4G6pl7rx/4VuVutPa8YpfKYZN3tutASPrQxaFpXZsD2I4gNL6sznQ== X-Received: by 2002:a17:906:87d3:b0:8af:2107:6ce5 with SMTP id zb19-20020a17090687d300b008af21076ce5mr124126ejb.35.1679339296940; Mon, 20 Mar 2023 12:08:16 -0700 (PDT) Received: from localhost ([95.168.147.255]) by smtp.gmail.com with ESMTPSA id 8-20020a170906300800b008e2dfc6382asm4755838ejz.125.2023.03.20.12.08.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 20 Mar 2023 12:08:16 -0700 (PDT) References: <20230319154537.30463-1-sarg@sarg.org.ru> <87bkknl443.fsf@gnu.org> User-agent: mu4e 1.8.13; emacs 29.0.60 From: Sergey Trofimov To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: bug#62274: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. Date: Mon, 20 Mar 2023 20:03:00 +0100 In-reply-to: <87bkknl443.fsf@gnu.org> Message-ID: <871qljs0ju.fsf@sarg.org.ru> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 62274 Cc: 62274@debbugs.gnu.org, paren@disroot.org, andrew@trop.in X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Ludovic, > Hi Sergey and all, > > Sergey Trofimov skribis: > >> * gnu/home.scm (home-environment-with-provenance): Make >> `config-file` >> optional, with the default taken from the HE location info. > > [...] > >> +(define* (home-environment-with-provenance he >> + #:optional >> + (config-file >> + >> (home-environment-configuration-file >> + he))) > > AFAICS, there’s only one call site for > ‘home-environment-with-provenance’, and it passes two arguments. > Thus, > the default value added by this patch will never be used. > > Am I missing something? You're right, the new signature is not used anywhere yet. Though I'm working on a patch to embed home profiles in disk images produced with `guix system image`. That's where this method comes handy, see example usage: (image (inherit efi-disk-image) (operating-system (operating-system-with-provenance (load "./system.scm"))) (inputs `(("guix-home" ,(home-environment-with-provenance (load "./home.scm"))))) (partition-table-type 'gpt) (volatile-root? #false)) From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 21 05:44:28 2023 Received: (at 62274) by debbugs.gnu.org; 21 Mar 2023 09:44:28 +0000 Received: from localhost ([127.0.0.1]:57697 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peYXc-0003eb-3H for submit@debbugs.gnu.org; Tue, 21 Mar 2023 05:44:28 -0400 Received: from eggs.gnu.org ([209.51.188.92]:43072) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peYXZ-0003eN-Et for 62274@debbugs.gnu.org; Tue, 21 Mar 2023 05:44:26 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1peYXS-0001NK-IK; Tue, 21 Mar 2023 05:44:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=pJCDZKZvoGr9lTY5VnhfqO6l2PFfivr7tLze4ozLXHQ=; b=r7UOmL4wkq5JRdgqJiFY Tg6DNnMT4+yE2GPOquvaRO1rIyfEd7bfun9uxOd2jmIXaXASrM+nqna7niU6k0Ce37nUQ8sCuIGGa hSVFjHRHV2VRv8lTeW6VHg3+QEimnVbYE5tJlqZh4NpYzncNX0U7fR6hPc2vK8s2dJycyicUr4g7H fMj/mFOjPoiykOs9057a9xetDHscuBfT6HIAggtXvXU2Rs2HC9F6ueKP5cEp0Ofwz4azEtG05whtz pI7+Qyzi9yTSBGFP9lgQx0wjNWuAEaNs657eFj8fzyA70qet2xVfF1ObM5tP88yp7r8fS9Zacf6om /DxWNw55jZLx3w==; Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1peYXS-0003Ec-2i; Tue, 21 Mar 2023 05:44:18 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Sergey Trofimov Subject: Re: bug#62274: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. References: <20230319154537.30463-1-sarg@sarg.org.ru> <87bkknl443.fsf@gnu.org> <871qljs0ju.fsf@sarg.org.ru> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Primidi 1 Germinal an 231 de la =?utf-8?Q?R=C3=A9vol?= =?utf-8?Q?ution=2C?= jour de la =?utf-8?Q?Primev=C3=A8re?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 21 Mar 2023 10:44:15 +0100 In-Reply-To: <871qljs0ju.fsf@sarg.org.ru> (Sergey Trofimov's message of "Mon, 20 Mar 2023 20:03:00 +0100") Message-ID: <87lejqsakw.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 62274 Cc: 62274@debbugs.gnu.org, paren@disroot.org, andrew@trop.in X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi, Sergey Trofimov skribis: > You're right, the new signature is not used anywhere yet. Though I'm > working on a patch to embed home profiles in disk images produced with > `guix system image`. That's where this method comes handy, see example > usage: OK, interesting! (In general I think it=E2=80=99s best to submit the new interface and its u= ser together, so reviewers get an overview of where this is going.) Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 21 06:56:35 2023 Received: (at 62274) by debbugs.gnu.org; 21 Mar 2023 10:56:35 +0000 Received: from localhost ([127.0.0.1]:57729 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peZfO-0006Xg-Ku for submit@debbugs.gnu.org; Tue, 21 Mar 2023 06:56:34 -0400 Received: from relay10.mail.gandi.net ([217.70.178.230]:47813) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peZfL-0006XQ-Ar for 62274@debbugs.gnu.org; Tue, 21 Mar 2023 06:56:33 -0400 Received: (Authenticated sender: andrew@trop.in) by mail.gandi.net (Postfix) with ESMTPSA id 5115A24000C; Tue, 21 Mar 2023 10:56:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=trop.in; s=gm1; t=1679396184; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=kEnsJgE3DRHjFFS1COeMY+A63DIZcMwsQJjMqAoycAY=; b=P5hPwJw65a/MshbPLZ8eVb/2wrXUd8/spaSt5ihjDp1DkXLNYn4Kh1GzLNf6sY1Qidhkp8 tfOelwd7jI5uzcCxWW2C5zPXFVe6ozWEJgmDjZSdDVrxDCSMDYfzDVeZn5ZVX5DDALctK8 KvhMq9Fe3wd7Z23hEjxuH0UtOEfn8cBIcJHVvmaEuS34eXDEs/dpAm4ekAgY6bYtEXWH9f Iyd9L6VvAvvIn0QxrS9bnvhofZVFO+RuZCHsT9CCh0P4cN5hTnapHZ+bQX1oG7hEvxyqcP fa4bbrkSz28bhPvsIFQHUP3iJTeT4VRImimwiRbn9k5qiU/Nvzk9DJ9dyw502w== From: Andrew Tropin To: Sergey Trofimov , Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: bug#62274: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. In-Reply-To: <871qljs0ju.fsf@sarg.org.ru> References: <20230319154537.30463-1-sarg@sarg.org.ru> <87bkknl443.fsf@gnu.org> <871qljs0ju.fsf@sarg.org.ru> Date: Tue, 21 Mar 2023 14:56:18 +0400 Message-ID: <87edpiz831.fsf@trop.in> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 62274 Cc: 62274@debbugs.gnu.org, paren@disroot.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2023-03-20 20:03, Sergey Trofimov wrote: > Hi Ludovic, > >> Hi Sergey and all, >> >> Sergey Trofimov skribis: >> >>> * gnu/home.scm (home-environment-with-provenance): Make=20 >>> `config-file` >>> optional, with the default taken from the HE location info. >> >> [...] >> >>> +(define* (home-environment-with-provenance he >>> + #:optional >>> + (config-file >>> +=20 >>> (home-environment-configuration-file >>> + he))) >> >> AFAICS, there=E2=80=99s only one call site for >> =E2=80=98home-environment-with-provenance=E2=80=99, and it passes two ar= guments.=20 >> Thus, >> the default value added by this patch will never be used. >> >> Am I missing something? > > You're right, the new signature is not used anywhere yet. Though=20 > I'm working on a patch to embed home profiles in disk images=20 > produced with `guix system image`. That's where this method comes=20 > handy, see example usage: > > (image > (inherit efi-disk-image) > (operating-system (operating-system-with-provenance (load=20 > "./system.scm"))) > (inputs > `(("guix-home" > ,(home-environment-with-provenance (load "./home.scm"))))) > (partition-table-type 'gpt) > (volatile-root? #false)) Also, take a look at this thread: https://yhetil.org/63960cf762aec1ed2c4182f49cac66bc37fce2aa.camel@rdmp.org and this prototype: https://git.sr.ht/~abcdw/rde/tree/044de83e980b7038b87d27a090aef24229df85eb/= src/gnu/services/home.scm#L1 It can be related to what you want to achieve, whithout modifying image-related code. =2D-=20 Best regards, Andrew Tropin --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEKEGaxlA4dEDH6S/6IgjSCVjB3rAFAmQZjVIACgkQIgjSCVjB 3rCtmA//dp9t4evjVe5y/q7dRtDQVzp4fdlkdnYRl6yHvTnROtgAi8gywOj11PYF 5gaSowjFy21Jv2N+vBINAW0IRQNTC01Z07l/GN9AGcfMDEfqsEZaIw75oHtgaNLE kRB4JvK8+Fi7CAxTFO5yWXHvSO8kiWKDuoD3ivVQitguAR1l0tWlKXMV1lS5ezPW SlkwQNBU8V70wLxBNhyyOgWelextgEm+TF7fd67ua6SvP8SIaXLF4csLil5ra5bC TjSKPiOR0ovPiBu6tW9BCRPIlWJK4aWaZAKh1KilTuNndxJ/LESoq4zFGEhGFQBE 0HAfjfPmhrh+t0AW+DJJSrIzMgyooH5z0wSIk1puwsBGXciKOiz/m1meIO+E8LiY i0RVn0AOvqd1SN00NeQJ6pIRpXXTgxMBT/H+TTQgplZD2TLPn1bkWw0yw6zGUv5v 9QSym/gyurhab4KJfwapK9+2At/lku6Xlbnv9z2Z5KCUJ9cTbe7gbo+p4K5r1UAY YQHsJDTIhLcePwZ4YDFEZQfIFqAv5FV+kUoNK6rW/TmaPs8af97+NOGzUFpE4RKL I4fEhHcTGbsdS1Mu0Qu+Ff4StwL0O7l7/fzIINpCWefHNNbU+bEowxWqcGiNwNAt bys2qYHTaKsj/kag9nfceFEewmoz8BC8vSX/DadB9LR//E40nu0= =MbmM -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 21 08:30:18 2023 Received: (at 62274) by debbugs.gnu.org; 21 Mar 2023 12:30:18 +0000 Received: from localhost ([127.0.0.1]:57821 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peb85-0002pZ-N1 for submit@debbugs.gnu.org; Tue, 21 Mar 2023 08:30:18 -0400 Received: from mail-ed1-f50.google.com ([209.85.208.50]:42970) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1peb83-0002pM-Nd for 62274@debbugs.gnu.org; Tue, 21 Mar 2023 08:30:16 -0400 Received: by mail-ed1-f50.google.com with SMTP id o12so58953329edb.9 for <62274@debbugs.gnu.org>; Tue, 21 Mar 2023 05:30:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sarg.org.ru; s=google; t=1679401809; h=mime-version:message-id:in-reply-to:date:subject:cc:to:from :user-agent:references:from:to:cc:subject:date:message-id:reply-to; bh=Gy3hGbr7QMhC6PE/1kDN1LigXNSsrTDK19XJDqSL20A=; b=cXowQ0CQX9kzK7GYKWHDpn5Ya/TmXuShXoAoZL7RMGenfb+PMOyx0NXu3iqUyRfuVC VlpqrK2/DACimKBV7PdSVTwyMhxNgfGXXWqMyZXb6KRhAYIzK3KanAtZz0IoTrktKFuX BwDwNWad1UCU8HgcWBGy0SHAeYw0OsLWuli2U= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679401809; h=mime-version:message-id:in-reply-to:date:subject:cc:to:from :user-agent:references:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=Gy3hGbr7QMhC6PE/1kDN1LigXNSsrTDK19XJDqSL20A=; b=0IRQGaxpxsDhbwtpcs8HcR+rEmYUKSm5+oRHkNajBuUAekp/9fkzIDsf2QcpIOKOIF S/y007QVOMw3ILRNgH2qWgvVPTpwPblBLcCKQEuo+zZLzsCsL6Z9v9pmJcSMXWRzlKun u0PkCeMBL7QDWzsdCI6UwQULZvFqiy7XRvC+dt8UUY1ncx/8sXhXxsDPh9zFZqbfl+pE peUAzQyeQWBRIifnaXZBgaIHl3SduA3147AvuIszrGd1DHXQo5PtAInglufe/6Sji6GH +AaQSkEP7SwLV30hK5oDRaYYxNywRJfG33KtlZK95tQYQnwTk1d18HYn4hc/Cjr1qA53 v2OQ== X-Gm-Message-State: AO0yUKVpE62sPNblnCUjno7wVJcPGxAeNKSRfUOEzv1SZR5xCxInfUE+ Rc4ztpSYvFT9onFiDsXz8mOr4A== X-Google-Smtp-Source: AK7set8/2v0g/cPvTuWOjZDjPm6Pee3c45QiUXTe8lF57Fb7+WG1T5VDiqFmtbaoY5Oy0xaJaMu1kQ== X-Received: by 2002:aa7:d858:0:b0:500:50f6:dd27 with SMTP id f24-20020aa7d858000000b0050050f6dd27mr2832678eds.26.1679401809692; Tue, 21 Mar 2023 05:30:09 -0700 (PDT) Received: from localhost ([95.168.147.255]) by smtp.gmail.com with ESMTPSA id y43-20020a50bb2e000000b004f9ca99cf5csm6143467ede.92.2023.03.21.05.30.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 21 Mar 2023 05:30:09 -0700 (PDT) References: <20230319154537.30463-1-sarg@sarg.org.ru> <87bkknl443.fsf@gnu.org> <871qljs0ju.fsf@sarg.org.ru> <87edpiz831.fsf@trop.in> User-agent: mu4e 1.8.13; emacs 29.0.60 From: Sergey Trofimov To: Andrew Tropin Subject: Re: bug#62274: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. Date: Tue, 21 Mar 2023 13:22:14 +0100 In-reply-to: <87edpiz831.fsf@trop.in> Message-ID: <871qliffrs.fsf@sarg.org.ru> MIME-Version: 1.0 Content-Type: text/plain; format=flowed X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 62274 Cc: 62274@debbugs.gnu.org, paren@disroot.org, Ludovic =?utf-8?Q?Court=C3=A8s?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi Andrew, Andrew Tropin writes: > [[PGP Signed Part:Undecided]] > On 2023-03-20 20:03, Sergey Trofimov wrote: > >> >> You're right, the new signature is not used anywhere yet. >> Though >> I'm working on a patch to embed home profiles in disk images >> produced with `guix system image`. That's where this method >> comes >> handy, see example usage: >> > > Also, take a look at this thread: > https://yhetil.org/63960cf762aec1ed2c4182f49cac66bc37fce2aa.camel@rdmp.org > > and this prototype: > https://git.sr.ht/~abcdw/rde/tree/044de83e980b7038b87d27a090aef24229df85eb/src/gnu/services/home.scm#L1 > > It can be related to what you want to achieve, whithout > modifying > image-related code. Brilliant! That's it. It didn't come to me that `home-environment` could be a dependency of `operating-system` and not of the image itself. And you also made the service to activate it, so no manual step is required. That's exactly what I have envisioned. What prevents you to mainline it? It seems you have already battle-tested it. The only concern is that I'd rather include `guix-home-service-type` only in the first generation of the system. I think that this tie between user envs and the operating system makes sense only on the first boot. Later on the users should be responsible (and able to) to maintain their environments independently. From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 21 09:39:01 2023 Received: (at 62274) by debbugs.gnu.org; 21 Mar 2023 13:39:01 +0000 Received: from localhost ([127.0.0.1]:57965 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pecCa-00018q-He for submit@debbugs.gnu.org; Tue, 21 Mar 2023 09:39:00 -0400 Received: from relay3-d.mail.gandi.net ([217.70.183.195]:53461) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pecCY-00018d-9Z for 62274@debbugs.gnu.org; Tue, 21 Mar 2023 09:38:58 -0400 Received: (Authenticated sender: andrew@trop.in) by mail.gandi.net (Postfix) with ESMTPSA id 5FF426000B; Tue, 21 Mar 2023 13:38:50 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=trop.in; s=gm1; t=1679405932; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=IO1mHL71gDsxBFGzDfNDZEAxG51kqqgEVadGlHVmN+w=; b=MQZzAWpbgDq2vmZmZw8O3FvSg/dh4z8RbARofyY3RDFZKLAm3HY1PeE40/AHE5SApVMIlu bS9TwXevyfa/0WMtIFOVvAZxyFyMgUi7ZyZ3IfxyeJS9PrgEs3mfCdvPYDB/gjJyEYUs5i NeXqk5Stvi1c5RRwGOC0obnK6XsXpeeddj4Abag32xxQMfk1dja4mI8f0Hw8BVJ2SCbdX5 OxZ0zoFvTaY3pTPiS86z6jhB0awZVjJttHAuCufvlBYWBzSR6ThLXEo6uzzKNYryqOU/x5 5xW2IRlsEbX6PhKGo/5IKFnM1fjc/PLZho8vTOsOR4pbvCL/c1hDQTF/lhVJWw== From: Andrew Tropin To: Sergey Trofimov Subject: Re: bug#62274: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. In-Reply-To: <871qliffrs.fsf@sarg.org.ru> References: <20230319154537.30463-1-sarg@sarg.org.ru> <87bkknl443.fsf@gnu.org> <871qljs0ju.fsf@sarg.org.ru> <87edpiz831.fsf@trop.in> <871qliffrs.fsf@sarg.org.ru> Date: Tue, 21 Mar 2023 17:38:47 +0400 Message-ID: <871qliz0k8.fsf@trop.in> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 62274 Cc: 62274@debbugs.gnu.org, paren@disroot.org, Ludovic =?utf-8?Q?Court=C3=A8s?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On 2023-03-21 13:22, Sergey Trofimov wrote: > Hi Andrew, > > Andrew Tropin writes: > >> [[PGP Signed Part:Undecided]] >> On 2023-03-20 20:03, Sergey Trofimov wrote: >> >>> >>> You're right, the new signature is not used anywhere yet.=20 >>> Though >>> I'm working on a patch to embed home profiles in disk images >>> produced with `guix system image`. That's where this method=20 >>> comes >>> handy, see example usage: >>> >> >> Also, take a look at this thread: >> https://yhetil.org/63960cf762aec1ed2c4182f49cac66bc37fce2aa.camel@rdmp.o= rg >> >> and this prototype: >> https://git.sr.ht/~abcdw/rde/tree/044de83e980b7038b87d27a090aef24229df85= eb/src/gnu/services/home.scm#L1 >> >> It can be related to what you want to achieve, whithout=20 >> modifying >> image-related code. > > Brilliant! That's it. It didn't come to me that `home-environment`=20 > could be a dependency of `operating-system` and not of the image=20 > itself. And you also made the service to activate it, so no manual=20 > step is required. That's exactly what I have envisioned. What=20 > prevents you to mainline it? It seems you have already=20 > battle-tested it. > > The only concern is that I'd rather include=20 > `guix-home-service-type` only in the first generation of the=20 > system. I think that this tie between user envs and the operating=20 > system makes sense only on the first boot. Later on the users=20 > should be responsible (and able to) to maintain their environments=20 > independently. There are a few issues I've not addressed yet: 1. User can login before activation finished. (Discussed in the mentioned thread above). 2. Do we need to activate it on every system reconfigure? (Actually, I used it mostly for creating rde live cd and vm images, so didn't test much with system reconfigure or guix deploy. Also, I guess it would be cool to add a one-shot? flag to the service for skeleton like functionality/initial provisioning). 3. Probably something else I already forgot. I still don't have enough spare time to clean it up, test and upstream, but if you would like to finish this thing up, I would be very happy to help! =2D-=20 Best regards, Andrew Tropin --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEKEGaxlA4dEDH6S/6IgjSCVjB3rAFAmQZs2cACgkQIgjSCVjB 3rCB8w/9HMzKMMSXpgKSpmc+dfgLhtLFPv6LHdN2XqMiWMtvVLqBBUSSys6ODkRf 5Y9mWcSD3pDN8KnjTCCzXpydTalud0U1qk/oGLnvHCB54gvj3TreiSk5gwtbKZ/t Jagc9IWESpb5cuYmRYiBzKFAwb1FPe0zDKO/Ut/Ej9eU/UzR2ygyjhDSmud7eQgZ TvrDr6Daz2q7yGccsu/wZ+tZzOzIQXiZu4FV+N3KmF5jFCtvFFbu+5Jag8bBlH6A vTlBvG5snOq/C2Op6/e+BJaYm6n4nTzaKJWUYajpmliY9IotdgXYO+ORt5i44fSh acYeRvv2me+aJ2Vk8qlbEOoVOAfXMJXci6kobpEklR1W/sYVnMSwJC6knGfUxZ3p 1Jtb/TPiuU0yUJOg1OK5vFjODbcvPCLF8HILv3iVBAZ3qyoZJ2Xfi5ubgpI9HoFh 4tAK+obV31jng2GVtjyi4xDDDrDnHhT8hYIygrN5cUJ1LQ5bYrLqomZkj9t9iwjc XY7FMu85/PINFj85dAEUfFrIhqCDpO2b6644BnDJxnHIxAtrU5XCta5s5QisTSA+ n/UAdTh4iYy/Dzk8GwRcNArhn+mr99G0s+yPALfSk9ry7laHI/W1ItLpQGNxDK6m tsrFuLvtEyba3r/QfPKwKe6WL62OjH9/EPgmRVASWwWKhDr1jZ8= =acDn -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 21 15:08:11 2023 Received: (at 62274) by debbugs.gnu.org; 21 Mar 2023 19:08:11 +0000 Received: from localhost ([127.0.0.1]:60666 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pehL9-0005wc-EE for submit@debbugs.gnu.org; Tue, 21 Mar 2023 15:08:11 -0400 Received: from mail-ed1-f46.google.com ([209.85.208.46]:39599) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pehL7-0005wN-DR for 62274@debbugs.gnu.org; Tue, 21 Mar 2023 15:08:10 -0400 Received: by mail-ed1-f46.google.com with SMTP id ek18so63801698edb.6 for <62274@debbugs.gnu.org>; Tue, 21 Mar 2023 12:08:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sarg.org.ru; s=google; t=1679425683; h=mime-version:message-id:in-reply-to:date:subject:cc:to:from :user-agent:references:from:to:cc:subject:date:message-id:reply-to; bh=fsDMjiNexqVjt7ql330/iDEupfvOyRxF4dbw65oQzVA=; b=IewIqBAOvNinpB4I3W8x23Rg3i9+Db4opyKMnl40EPjIJI49PsSHrnP/JjffzvmzWP rBvleraAoGgHkU0a7Rh3Cq4+KlHjRqEB+iEs6B/qfXRNVD9LDmZky773DIRmVxKgWbw6 9HWnatIouOJaVnkwhRB9ITWQf+d3UEjSvumo0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679425683; h=mime-version:message-id:in-reply-to:date:subject:cc:to:from :user-agent:references:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=fsDMjiNexqVjt7ql330/iDEupfvOyRxF4dbw65oQzVA=; b=p6yGUh5VS2+Za9FRYl7yin5P2CxmrOrUM9LxHRYBNO8tl+m6EBuaj3k9D4TTsKYrdA lD6t1J3cnOa0x/FyJdmwDpRXYIImr/V3itmM8hGsxpC77xgEo+eDfqi0RZmLD/HwV7yw OsT21Cy5lLBYbdXaI8zVrgZDIBRsvbRsCNxVjSDymw+jQk0POAXxfON6NvyHJUfGQpdN GMrxLcRaQ2kTqlPpjcMFbOkyETnT8NR55XWXbVozZ3RkckPmMHih62ObvFynRxXnacix cdYK4Uo0dzt1ZiggOgdph3eA+1CyO6vH/W5OLyrcxTWr7gS+ZV3hmxJAT8HM77UCAtr5 KiPw== X-Gm-Message-State: AO0yUKUZVQQ6POtGuC8I/CfupH64MnUb9+Nn7iWSCASWV/4rnqW+/2ha SjFnrNkZcZXf4Xp2XII9e/vgNg== X-Google-Smtp-Source: AK7set+LqyD3GESIp5D/NzTOWKaa1siT/TVtYHRf9gRXxFbyUPtLLkMr93Wv76z03zP7yi1NEWbygg== X-Received: by 2002:a17:906:7cd2:b0:92b:69cd:34c7 with SMTP id h18-20020a1709067cd200b0092b69cd34c7mr4247996ejp.40.1679425683303; Tue, 21 Mar 2023 12:08:03 -0700 (PDT) Received: from localhost ([95.168.147.255]) by smtp.gmail.com with ESMTPSA id kj2-20020a170907764200b009324717b9f3sm5595448ejc.71.2023.03.21.12.08.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 21 Mar 2023 12:08:03 -0700 (PDT) References: <20230319154537.30463-1-sarg@sarg.org.ru> <87bkknl443.fsf@gnu.org> <871qljs0ju.fsf@sarg.org.ru> <87edpiz831.fsf@trop.in> <871qliffrs.fsf@sarg.org.ru> <871qliz0k8.fsf@trop.in> User-agent: mu4e 1.8.13; emacs 29.0.60 From: Sergey Trofimov To: Andrew Tropin Subject: Re: bug#62274: [PATCH] home: 'home-environment-with-provenance' uses the HE location info. Date: Tue, 21 Mar 2023 19:18:39 +0100 In-reply-to: <871qliz0k8.fsf@trop.in> Message-ID: <87r0thexcn.fsf@sarg.org.ru> MIME-Version: 1.0 Content-Type: text/plain; format=flowed X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 62274 Cc: 62274@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Andrew Tropin writes: > [[PGP Signed Part:Undecided]] > On 2023-03-21 13:22, Sergey Trofimov wrote: >> >> The only concern is that I'd rather include >> `guix-home-service-type` only in the first generation of the >> system. I think that this tie between user envs and the >> operating >> system makes sense only on the first boot. Later on the users >> should be responsible (and able to) to maintain their >> environments >> independently. > > There are a few issues I've not addressed yet: > > 1. User can login before activation finished. (Discussed in the > mentioned thread above). Yeah, I've just tried to bake a disk-image and also was able to log in faster than the activation service finishes. Not a big deal though, I can live with that. > > 2. Do we need to activate it on every system reconfigure? > (Actually, I > used it mostly for creating rde live cd and vm images, so didn't > test > much with system reconfigure or guix deploy. Also, I guess it > would be > cool to add a one-shot? flag to the service for skeleton like > functionality/initial provisioning). > I think this activation should run only once. > > 3. Probably something else I already forgot. It seems that ~/.config/guix/current is not created and /var/guix/profiles/per-user/ as well. > > I still don't have enough spare time to clean it up, test and > upstream, > but if you would like to finish this thing up, I would be very > happy to > help! Actually, my use case is already solved by your code and I can build backup images of my OS. Now I just have to figure out how to restore from backups offline. From unknown Tue Sep 09 05:49:42 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 19 Apr 2023 11:24:20 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator