From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id YKIpEJgPdGKhkQAAbAwnHQ (envelope-from ) for ; Thu, 05 May 2022 19:55:36 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id oKoYEJgPdGL94QAA9RJhRA (envelope-from ) for ; Thu, 05 May 2022 19:55:36 +0200 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 D7BE28FAC for ; Thu, 5 May 2022 19:55:35 +0200 (CEST) Received: from localhost ([::1]:48090 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nmfhO-0005Sp-Ib for larch@yhetil.org; Thu, 05 May 2022 13:55:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56630) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nmfGJ-0007Vh-W5 for guix-devel@gnu.org; Thu, 05 May 2022 13:27:36 -0400 Received: from mail-ed1-x544.google.com ([2a00:1450:4864:20::544]:39707) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nmfGI-0004zX-6d for guix-devel@gnu.org; Thu, 05 May 2022 13:27:35 -0400 Received: by mail-ed1-x544.google.com with SMTP id g20so6000790edw.6 for ; Thu, 05 May 2022 10:27:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:subject:from:to:date:in-reply-to:references:user-agent :mime-version:content-transfer-encoding; bh=DSS+EsZ/R6xsX5ReBGmlKzmOnIEmFUHa/ClEoOUrgrs=; b=ddHYTzlIp2ppzllAdidwpF6ol4A7mrMO6jet+Dvm6ooRtQMqug71/PyN3RNN/l8og7 XQe5Web1uMyypKH9jh8+uo9jdCawzfFTIJYhrMS9+EO61ukk/QhxGmkMa7OBPHfDk//j tfV/GbanJv27u+kG2MOCywvQnme28EqqXQSadDDnOiSu+6vvElI/fpjRqARLXJQKnifq DNFjkwvSjWLmke92YAr8IZ03SMTeqqSvYHpq1aMSnjouB14gATrT09NlEGMSLc4lbzZs sMqYVlFBorBqbLBGqTDIAuc9UsoAzO6roDE2pE9jP0SLm/WTF815eO2uB9qvdCnGhJBc fCaQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:subject:from:to:date:in-reply-to :references:user-agent:mime-version:content-transfer-encoding; bh=DSS+EsZ/R6xsX5ReBGmlKzmOnIEmFUHa/ClEoOUrgrs=; b=kqJcpTf7gHmYSY1SFnM3aqM8RaAeIjC2279/r0BIz+Zy82BUV6HkvRwgltNn+md9u7 xMzD9X3FgpZvJ16RZ3CRmv+9xj5vpjBSlRWKPvYzUvLDN3Syrl7AOL3X0i8fArzFGd5O mXzOZqSoKXNrv/jM8IeCOSdX8toKzlS7lUw6nn1hGrooP4FLSEE+dQqbVNLqebGAOKME /SAqRPWR6zneSlIIR0aq/v39BfAx3wcneshd51jntXTJQwSyVkBTcTnD6gIe2KDA57EY 6TaTnN2TTYMJICxK+UPKYKNJl+MaeJDdfT00+2Mq2v7B4qF1C93KHIy5akKUcVQfz57k Ljxw== X-Gm-Message-State: AOAM532TFjzBqwkzyYNuiGJ4+TVRoFQe/Z0ihDa5yalJtoFUjfHuniMy 0PO5Anyn8DT8CQJ/xcsztEE= X-Google-Smtp-Source: ABdhPJyBysAhRd0+BjiILvMdE0NuR8wv4zuxo0WvFmCXCg80v9E/VLB0avTvUjcUSrqF/pwvcShwxg== X-Received: by 2002:a05:6402:b2e:b0:425:d3f7:4c1a with SMTP id bo14-20020a0564020b2e00b00425d3f74c1amr30862463edb.366.1651771652599; Thu, 05 May 2022 10:27:32 -0700 (PDT) Received: from nijino.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id ht7-20020a170907608700b006f3ef214dc7sm996398ejc.45.2022.05.05.10.27.31 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 05 May 2022 10:27:31 -0700 (PDT) Message-ID: Subject: Re: Multiple profiles with Guix Home From: Liliana Marie Prikler To: Maxime Devos , Andrew Tropin , guix-devel@gnu.org Date: Thu, 05 May 2022 19:27:30 +0200 In-Reply-To: References: <8735hqvh4a.fsf@trop.in> <8a42a0c84d35231b360a421fe0b846c8e1aa3d2c.camel@gmail.com> <8b66e609b7c9d5183017ccf7fef47c818fcea231.camel@gmail.com> <25e0ca9be4053c94d12461ec42f1985cd6730a8f.camel@gmail.com> <07907034239128b36890690703fe6cb6b4ce958e.camel@telenet.be> <53eabd93a0e41723ad3e0238314e630e713f8cfe.camel@gmail.com> <4bb446ca24b57f648d1dd4f0083010d9ee35c40f.camel@telenet.be> <28dcab6db488b73a95bfe349a3e97a3f4f5ec345.camel@telenet.be> <330265fe1014a4015dc64ec645f6c1171771b1df.camel@gmail.com> Content-Type: text/plain; charset="UTF-8" User-Agent: Evolution 3.42.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2a00:1450:4864:20::544; envelope-from=liliana.prikler@gmail.com; helo=mail-ed1-x544.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, T_SCC_BODY_TEXT_LINE=-0.01 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" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1651773335; 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: 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=DSS+EsZ/R6xsX5ReBGmlKzmOnIEmFUHa/ClEoOUrgrs=; b=JymAl5X+d8Le8nbLetGMQ/9ki4M6MjKRhvPN5Q1AhtcqObI9820PNNfk9/L7IXEaekI243 JjDRr6sa1AyF1TJ/HIzmIIyhlr3VbrXiq9Qtq6xm8lUCBir5R17OzPQC4VL6MOxDQKq/Oa yY+8U9YyAqoLbJ2Iw6BYtqKJEbdD/rn5VwXwheyQcobgnn/vedEryaDmean1FGjiB8cO5n qeipA9F6/pZYSg9rMlPA7QPXGVYILVouHb6+QQtIrSYZNYU2Ct5y+ilnRgDJzS6F1ftWyL 3WKb4bSesZ54IZo6Lvad9ZBS6WlrNBzYw303JIAZ3SLuvc2aYn6WZb+MadK6Eg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1651773335; a=rsa-sha256; cv=none; b=nVxIU1t3Efb4M/WoG8WJMaks66leQ2Zg7RWPhFYIeUeN1TsRzrNROx+GWDic5/9JyVz1rX kwRKYx5s6CfNdZVSg9RRc6IfSQcBHPQpP9SJUt5aW/70tXeMDy7fGFH3amiOKXS19SHA4G zYmOoDjwutWPNyMzIKg4lS+NTXoBKB8Qg2EcKwCiVr+7YR1/oxtKdUlZJ+Qic/PHkz8YQr v0WVJ2IU4WTDkkSFX+YXUKpgqVKgeVuEnMqUEItW3uvQgQHyVCO12r7mB2EsRV7FEUROKl j8zGQnabWJ1gr7ofHHDNbvcdqCFcAJa7UjW9gaFSe7DcWLr4dVbRsvqkbP2Pog== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=ddHYTzlI; dmarc=pass (policy=none) header.from=gmail.com; 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" X-Migadu-Spam-Score: -3.99 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=ddHYTzlI; dmarc=pass (policy=none) header.from=gmail.com; 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" X-Migadu-Queue-Id: D7BE28FAC X-Spam-Score: -3.99 X-Migadu-Scanner: scn0.migadu.com X-TUID: m0rrTQ9siZa7 Am Donnerstag, dem 05.05.2022 um 18:42 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 18:31 [+0200]: > > > I am not debating any legitimacy ( is not some > > > government), I am discussing the reasons, and whether some of the > > > features (e.g. faster profile building) can be implemented more > > > generally (not Guix Home-exclusive), without manual > > > configuration. > > I think you're misunderstanding cause and effect here.  For small > > n, O(n) = O(1). > > I'm not sure what you mean here, what cause and what effect are you > referring to here?  And I'm not sure what the connection between ‘for > small n, O(n) = O(1)’ and the previous sentences is (I guess > something about profile building times and small profiles -> fast > building, but I don't see any connection to cause and effect ...)? You get the fast builds because you have small inputs to union-build. You can't get small inputs to union-build without splitting your profile and if everything goes into one profile, you need union-build in the end. > > If some reasons remain (e.g. tidyness of separated thematic > > profiles), _those_ reasons could be a good reason for > profile> or the like.  What I'd like to avoid, is avoiding extra > > complexity for the wrong reasons, and only adding it for the right > > reasons. To reiterate, the primary reason for using Guix Home to > > manage multiple profiles is so that we can manage multiple profiles > > in a declarative manner. > > Multiple profiles can already be managed in a declarative manner: > "guix shell -m manifest.scm".  I'd say that Guix Home adds some > impurity (‘guix home reconfigure’ installs/removes/replaces some > symlinks in $HOME, which is a form of mutation).  Though maybe some > people want to keep all their manifests together and don't mind the > little extra mutation? We're not talking about the same kind of profile management here. By profile management I mean creating, updating, modifying and deleting a profile that has the same basic properties as ~/.guix-profile or ~/.guix-home. Shell profiles are not that. Cheers