From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id /zAYIbF+U2C3DAAA0tVLHw (envelope-from ) for ; Thu, 18 Mar 2021 16:24:17 +0000 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id AI9PHLF+U2BYdwAAB5/wlQ (envelope-from ) for ; Thu, 18 Mar 2021 16:24:17 +0000 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 3237E1BD9B for ; Thu, 18 Mar 2021 17:24:17 +0100 (CET) Received: from localhost ([::1]:58812 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lMvRY-0004b0-9e for larch@yhetil.org; Thu, 18 Mar 2021 12:24:16 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:54294) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lMvC2-000589-1R for guix-devel@gnu.org; Thu, 18 Mar 2021 12:08:14 -0400 Received: from lepiller.eu ([2a00:5884:8208::1]:34294) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lMvBz-00049U-Ti; Thu, 18 Mar 2021 12:08:13 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id f39c325d; Thu, 18 Mar 2021 16:08:09 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:from:message-id; s=dkim; bh=CKzvHk4NFdh0mD0RPwP2Nm0PBJoFyPItq1qCkZui7AQ=; b=QLGdTgpolKJ2 +5IZ9GhO4rEeqapuMq48lYl0YZ3fdZnE+CepdWoj/YltCNyF3oZXg5gxKZO91/Ug tdL0aG3DCkrHfpwfIPJ/W3t1VjgoIxbk89/IW7oo7w3lxyfR6EiaHWCzgDQvvUto uPU6vuMofywUTGgF+xNL7B36CCAR4+Qd8mJHB9MJKWsWgSYXW5h8u7H0/Gy33VOb vcogcHT60g04PmtefVY7q5sPYnpan7tKPgXPq5uC18MPzK5W0kOdrbedVqGPnW2s dq/HwLRE5NEnAW3QHEvbEY5lclwa6gCQPRhQKXfvc+HVCRQRvwE/5XonCBP6zyBI rTe5H0DR1A== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id e92023bb (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Thu, 18 Mar 2021 16:08:08 +0000 (UTC) Date: Mon, 15 Mar 2021 16:16:35 -0400 User-Agent: K-9 Mail for Android In-Reply-To: <87pn00e4xn.fsf@gnu.org> References: <878s6u2pco.fsf@trop.in> <87pn00e4xn.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: guix home To: guix-devel@gnu.org, =?ISO-8859-1?Q?Ludovic_Court=E8s?= , Andrew Tropin From: Julien Lepiller Message-ID: <831CF304-5776-49F3-90E2-26D145C175F3@lepiller.eu> Received-SPF: pass client-ip=2a00:5884:8208::1; envelope-from=julien@lepiller.eu; helo=lepiller.eu 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, SPF_HELO_PASS=-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.23 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 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1616084657; 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=CKzvHk4NFdh0mD0RPwP2Nm0PBJoFyPItq1qCkZui7AQ=; b=mKTepRVPghNdzkPiWmgIBQBlG0j162Fbgrd1PzgqFf63r/v0rZUA/0ppODaUulUTvkNJPs OD5rf7pzQRdESSo1FbB8JG5VRP30MoAAFaS7vRH5HDQvllr243mWm8wlcU+Oe81yhbnZxB jDTLS/hurzsetum37sphtqoyOADtGBDD8XncJWGOmckF2slTLIAsz3wn5ikb6brabjlfdQ 7qId5up/bhWbqTI/fNKqj31AjnOx9sErM2kFmlMF99iYvEEktKuEgttxFn4VJRBQlWN/6l AIjDP6H/yUzTxk/fK4Z86dIRon5YYu3sXIb1t/dj42T4W4AgQ+8W/Brp4MadnQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1616084657; a=rsa-sha256; cv=none; b=IrpkvkHSgyfN24cp0UBRSw/g4ZMy6r0IaFyAUcG+PUr1Y8BS1Dsr/A1PQBZ1FqAzSdTJHg bfsBRzTs1rNf4rDPlmWeulxUQdwpS9Pwoh/4/zG3sCcgqZUQIs/riBdZ/Y7aIO4QQmIwVW vs42RYTIkwLgw1vv6t/8j4PnxOmPkfyZpytK9/QHPXCkddSW/t+5GTHRWrk0WtP91jgY0O iWDqJS8frZAOXIPnTJireBCiGGKsvqkuN+2kcx/UDiZfS25mi9gfasY1fvkaq5h3y0OMDQ qVpoGPuoaKX3VbtQsckD43REAiTMls303lrno17NvAb6050IajDCaiHGSJsaNQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=QLGdTgpo; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: -0.31 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=QLGdTgpo; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 3237E1BD9B X-Spam-Score: -0.31 X-Migadu-Scanner: scn0.migadu.com X-TUID: xXDALFhhxrKK Le 15 mars 2021 12:51:16 GMT-04:00, "Ludovic Court=C3=A8s" a =C3=A9crit : >Hi Andrew, > >Andrew Tropin skribis: >> >> The question is: do we want and need at all `guix home` to be a part >of >> the guix? As for me, the tool seems like a natural addition to guix's >> declarative configuration management approach and covers the missing >> piece of user space software management and as I mentioned early >> upstreaming will allow to make it better integrated with the rest of >the >> guix and easier to use for newcommers and casual users, but my >> perception is obviously biased=2E >> >> Dear maintainers and users, what do you think about making `guix >home` a >> part of guix? > >I have yet to familiarize myself with =E2=80=98guix home=E2=80=99, but ov= erall, I think >a solution =C3=A0 la =E2=80=98guix home=E2=80=99 or guix-home-manager wou= ld be a welcome >addition to Guix=2E > >I agree that these tools are a natural extension of Guix and that it >makes sense to settle on one approach and make it part of Guix proper=2E Obviously I'm not a big fan of having configuration that can be modified a= fter I ran guix home, but I understand this approach sounds less crazy :)= =2E I think both approaches have a lot more in common than they diverge, so= merging one in guix is just one step away of merging the other :) Having a read-only home is a fun experiment (that have been going since I = started guix-home-manager, so it's definitely possible), but a bit broken, = and I keep poking holes for software I can't manage properly=2E Also, I had this grand vision of using "extension points" in services, whi= ch might be useful to have in Guix=2E Though I never ended up using them in= any meaningful way ^^'=2E Merging either of our work will make it more visible and attract more user= s/contributors, that would be great! If we settle with Andrew's approach, I= 'd be glad to provide my own services, but I will also probably add somethi= ng to get back my dear read-only home, because that's the intellectually su= perior approach, albeit broken ;) > >Thanks! > >Ludo=E2=80=99=2E