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 6BqkJr9Rc2IwRgAAbAwnHQ (envelope-from ) for ; Thu, 05 May 2022 06:25:35 +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 ACDhJr9Rc2KASgAA9RJhRA (envelope-from ) for ; Thu, 05 May 2022 06:25:35 +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 3269019E18 for ; Thu, 5 May 2022 06:25:35 +0200 (CEST) Received: from localhost ([::1]:36020 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nmT3V-0005dW-VI for larch@yhetil.org; Thu, 05 May 2022 00:25:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:38818) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nmT3E-0005dO-Pp for guix-devel@gnu.org; Thu, 05 May 2022 00:25:16 -0400 Received: from mail-ej1-x641.google.com ([2a00:1450:4864:20::641]:38612) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nmT3D-0000c1-3P for guix-devel@gnu.org; Thu, 05 May 2022 00:25:16 -0400 Received: by mail-ej1-x641.google.com with SMTP id n10so6451742ejk.5 for ; Wed, 04 May 2022 21:25:14 -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=QH/x0KfQsKWqNzKRtEklRtZpECmVtgRWjFUOeizoxuA=; b=N6CWgQRDepREMowRUD73PoPrLXXnvvwNZvWbpjaDpg5Vng+/L3h8YQUhoHYASHDNs0 yCRTNDPG7+WI64wf/xwtaDbmY5/D2aE08q2prBBYvCCLwrIWrVWEDQHI6sq/Udx3o7Eo tax3ORuB+j9v0jN4kjJZR+5+UCVbfUoNAdHo3wOoIrKivdVdKCLLSSQxiGhhPvr8Keu2 yv4OFpGoLYsihlyvk6CuwYAkO7j0UWIfR7hdbXlFNtnjewycY2Bpc9ZNIKryXsIPi/Gd cp76AUFjZEJkfkW5Vm7KGPT74rYf+o6DWeicMZmMM/0OkxploqJ8aEcdq9zh2f1melbF G9Aw== 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=QH/x0KfQsKWqNzKRtEklRtZpECmVtgRWjFUOeizoxuA=; b=HJTwIXxFU6oialSdZqNhz9+1IquGmgdTVnckdUxy8EJc6hRllIFqftH+A5pSt+Y3Ac Cs8QmhWJ4YanRnHkJT6la2EppjEQ/BTMVHtMmCtkGoiQx0oxHEdlsBWQVvY0xlfxTBf5 a+J5lrTAMkNTjMN0lj9vdzdqndUOwU5SMCPCIHigCM5LiWlwLEDrgxlwllF88Hjs39pe Raa8TITqvBfgHRUPJnnaHExMaoKCmW4pAILpLuo1wtd1NPiMFIJ81ex4UrILfg3NeonA l9S41mjFfc6kbShAoKgk0WcZy1Hwqau5SiZdbtGNLxqG5+TJLVhnZhktbTfu49G9x0Hd bxYw== X-Gm-Message-State: AOAM533lgBO0Q9Um6J0Q3rk500I2HgY6e5TjXz4iGHaI1QY1EZuFoan9 KUCtp5FD8iJrgAtKX1UQC1E= X-Google-Smtp-Source: ABdhPJy7cIwdI1ityPW05/cPgLTuqzgoR4FeVwE6w3kpdyHnCNf4b/Lc77vXQypxf25lkCKMs04JTA== X-Received: by 2002:a17:907:9720:b0:6f4:31d4:925f with SMTP id jg32-20020a170907972000b006f431d4925fmr19703999ejc.658.1651724712450; Wed, 04 May 2022 21:25:12 -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 n24-20020a05640204d800b0042617ba63bcsm249327edw.70.2022.05.04.21.25.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 04 May 2022 21:25:11 -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 06:25:09 +0200 In-Reply-To: <4bb446ca24b57f648d1dd4f0083010d9ee35c40f.camel@telenet.be> 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> 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::641; envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x641.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=1651724735; 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=QH/x0KfQsKWqNzKRtEklRtZpECmVtgRWjFUOeizoxuA=; b=Pf5UmNiMvSlKYMWOO3WSqTUnT4TKx4+6u8YIbSBXcRoI2y+TY802ZApIE0AFIM0eiV+q25 y5xD1oq2VvURz+vRg4q8yTB6uqkODHR3VUuGm4zygDXHqCRzgdD1g4TWHPLBCx5OYeVz// /A2FEbSkJy++l0XoN0kIUcXad89QiXRfrpSOZ5rLEnUErGAmSvxEJl1ojbhbm90Zlgux5K RkgzfB49XRcH3+Wd+DYSPBttH4PM5rKN3Tp7N0+Xi0corle3xVjB7HoPzLIxSdN0cwCbm6 6zfTdhGSaT4SeIf+FkDXpR0LBFhRkRxbY8rmjnA2jZCEFjbLIaJQ0QXU3chwwA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1651724735; a=rsa-sha256; cv=none; b=t11DnCM+I2pdzfFkqoWO22Nwg+aRxAGN0V4nPiM9wVeuBvrWfUBRJRb/LU4dhT1SRwqWid p/lDU2A9f2E1aPbCqaiCrc++4jVERy9AsTYR3Xr3J+sStxVe85GCbHqGyROSnEkwSSJTYq zMDgo27fm9tK5dBhbJkMg2/JKbzNEcy/wpIdEH2aoWq2oSu1qtG+FmEIBYYoSXNVd5x9nY sbE1fkkw8AkzRYzzTKxR9UU2A6plCwH6LxZXvSJzcJIOAgn7d8/DH46PH2h6avxADfUiqV jOVMiw2YP2HXd/ODIH3GABO1omd/7X5Vlx/aNqy0bLTNU3MOUsIWs0iP0SYymA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=N6CWgQRD; 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: -9.29 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=N6CWgQRD; 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: 3269019E18 X-Spam-Score: -9.29 X-Migadu-Scanner: scn0.migadu.com X-TUID: RUkiL1+KVx/x Am Mittwoch, dem 04.05.2022 um 22:41 +0200 schrieb Maxime Devos: > > > I personally have my Guix profile already split > > across several manifests, that could easily fit into separate > > profiles if Guix didn't make working with those an absolute pain. > > ... but separate profiles = separate manifests (except when using > "guix install")? This implication really only goes one way, i.e. separate profiles require separate manifests. Not that you can't specify multiple manifests in one file, for instance, ... > > > > > And if I'm not the target audience, what does that matter? > > It matters because it makes part of your complaint basically "fuck > > your use case, mine's already satisfied" (pardon my French). > > This was not my complaint.  There are a lot of cool use cases there, > though for whatever reason they were not mentioned in the original e- > mail, so I had to ask what the use cases were.  And FWIW, mine is not > satisfied, profile building is still occassionally a bit on the slow > side. > > What is my concern, is that most use cases I have seen mentioned seem > like they can be addressed without extra configuration or records or > manual steps and independently of Guix Home: slow union-build -> make > it faster (linear or at least O(n lg n)), per-project packages -> use > "guix shell -m manifest.scm", things change after "guix pull" -> Guix > Home doesn't solve this(?).  You are still debating the legitimacy of splitting ~/.guix-profile and I don't want to entertain that discussion longer than it's worth. Just trust me that there are people, like myself, who *want* to split them. > So except for ‘guix shell maybe doesn't create GC roots sufficiently > often’ and ‘keep things tidy and separate’ (though the latter appears > to be already done by "guix shell"?), I don't see why we need some > Guix Home-specific manual configuration and complexity when we can > have some automatic general optimisations instead. > > > As for the other point, which is tangential issues remaining, those > > deserve fixing too, but they're not the point of this debate.  > > Particularly w.r.t. evaluating search paths across multiple > > profiles, we already have an instance of that even without allowing > > users to specify multiple profiles easily.  Thus we not only can > > think about them as different matters, we should even derive > > solutions that work outside the context of guix home! > > I don't understand this paragraph, weren't these issues the whole > reason for introducing this manual configuration thing?  (And the > thematic profile, which is not tangential IIUC.) No, the issues I'm describing is that certain things break when you use a different profile at all. For instance, you can't build a font profile, because both Guix Homeless and Guix Home assume that you're using their blessed profile to store fonts in. Such issues can be solved through configuration, i.e. allowing the user to specify "this is my font profile and it has fonts". Cheers