From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <guix-devel-bounces+larch=yhetil.org@gnu.org>
Received: from mp1.migadu.com ([2001:41d0:303:e16b::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by ms8.migadu.com with LMTPS
	id ABjXGhYx4GX5FgAA62LTzQ:P1
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Thu, 29 Feb 2024 08:24:06 +0100
Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by mp1.migadu.com with LMTPS
	id ABjXGhYx4GX5FgAA62LTzQ
	(envelope-from <guix-devel-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Thu, 29 Feb 2024 08:24:06 +0100
X-Envelope-To: larch@yhetil.org
Authentication-Results: aspmx1.migadu.com;
	dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=Hm87xjhJ;
	dmarc=none;
	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"
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org;
	s=key1; t=1709191446;
	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:in-reply-to:in-reply-to:
	 references:references:list-id:list-help:list-unsubscribe:
	 list-subscribe:list-post:dkim-signature;
	bh=/xzNnOGNsTDT9fq9+9+R/ypa7hsBp3AbxincHvZfRjc=;
	b=Gy5d+tzFrLjr43uFF4AqdUEsFHq2Gxp4cEI/ruExqvmF+SyhQYGXs0fFCkuMPb9aRWnOA6
	WB9Tl+ofzbd6WSjI/TlGANZR7GNZlsScsQdL0XApyOtCHZyAUAsysYCIN/DVjjwVO7K8jv
	CMlyMv3lJe0NB8rWE+g0sFyb4szMV5QBU0ZBVDwnHokn43wOAIKZEiHKWc16em/JKKG6vE
	kOWe8FgWNPCgF+rD+gxCRRbJjceToL0m3HnCOygzVt4RXSfKZLxxplPapEvUDnAwEpqdJh
	ATPnKxtDXRJbQ4HcLHhNq5vCeMxEjytDNR4C3e4YrEngwcTNWxDMuXWsolWN3A==
ARC-Authentication-Results: i=1;
	aspmx1.migadu.com;
	dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=Hm87xjhJ;
	dmarc=none;
	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"
ARC-Seal: i=1; s=key1; d=yhetil.org; t=1709191446; a=rsa-sha256; cv=none;
	b=hWGfepddqE4vG/WCrUcrIR0I4CcHUWWdlnsLcKnAk+sVc+J2GO1EUOA7AnB/S0wSP8nuQw
	XcukPU23YIebGtSEC7prpwXDsXwqafr2veWKq85+X6VwWQzCp71ZZtZtSMD0E+Bm4YWv7Z
	dfgb0sv20QBy5eoUD/UYVuRyJULbC34EVXRmJdAHvk2xaiWk2Y+5mcYdwdEtx5ulD0s2pf
	HJRF50ZMWVhC//w3ZAMyw1zTuNhadq4bo2L7wpX+r4u2MR9rxj7Vr34s4xvT4jbhph9tJy
	OwL4EniZS/Do5aKEhoIqIMdy/E8KDYxnNI20PVoPpFSiXOFve/J85di2fbSOcg==
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 E19EF4160D
	for <larch@yhetil.org>; Thu, 29 Feb 2024 08:24:05 +0100 (CET)
Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <guix-devel-bounces@gnu.org>)
	id 1rfalH-0003bQ-LF; Thu, 29 Feb 2024 02:23:23 -0500
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 <efraim.flashner@gmail.com>)
 id 1rfalG-0003ao-KB
 for guix-devel@gnu.org; Thu, 29 Feb 2024 02:23:22 -0500
Received: from mail-lf1-x132.google.com ([2a00:1450:4864:20::132])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <efraim.flashner@gmail.com>)
 id 1rfalE-0008LW-NM
 for guix-devel@gnu.org; Thu, 29 Feb 2024 02:23:22 -0500
Received: by mail-lf1-x132.google.com with SMTP id
 2adb3069b0e04-513235b5975so671248e87.2
 for <guix-devel@gnu.org>; Wed, 28 Feb 2024 23:23:20 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1709191398; x=1709796198; darn=gnu.org;
 h=in-reply-to:content-disposition:mime-version:references
 :mail-followup-to:message-id:subject:cc:to:from:date:sender:from:to
 :cc:subject:date:message-id:reply-to;
 bh=/xzNnOGNsTDT9fq9+9+R/ypa7hsBp3AbxincHvZfRjc=;
 b=Hm87xjhJyPO6inkW+GFlcibrJe7/8Q+Nm7YKaJaYfQGRQK2X4A8uZpzh7Xy27BlDsG
 2KjNwL9LIOI6XYX3kruEQM9bTIkrIrmi89YQVikRKUCN9AC9zo9n5HpIKRdYLosERIGu
 Xzn6a/2JDJSf6wVQ+FlavYTOqUF2p1NZ4sJ1UD1ydW8byXVSW2nOgFl7gStRELDW/y4y
 KV+LksQzK8x0Qry/7JO41rwWQzOerlF0EbbeDN7T46q6as3zUeoHEHsRJw3+Gh6z+y/t
 dTuhpdBQElm/lbjFNC/efPJy2cthe+vdAnSrvedZNTUhsZ6P819k6Vj62Nn8zKEVhA7q
 qTKQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1709191398; x=1709796198;
 h=in-reply-to:content-disposition:mime-version:references
 :mail-followup-to:message-id:subject:cc:to:from:date:sender
 :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=/xzNnOGNsTDT9fq9+9+R/ypa7hsBp3AbxincHvZfRjc=;
 b=aBDwQAdMX5oi7W3gFQzDYvrynu2MqUfSqev5gmadhyhmbLEElQsoAGL9tNOtPD3Nlg
 7bFvl8OF8Gx1OQHKLxbKFQe+Yvp1CUcbvczSHE2ZtiymE4IMIXliPDpmS8P2Eh2hLDgj
 oiP+vyGVAtqjK2c/Ab4973xzJ3XqJzZGlAJPtUktxbrxfCqkF2EQzkZpeOsb24sYyfN1
 EUQsnzvt+H0mS9Ir65KCW3cM8bFzaDwUrEO+HUjBWOqZj7LeVxRcnm+tGahHtroJWu3T
 khtDLYUbTKMqHemNF3A08duUcA6mjSCY+wI9h37QEixacYym0WwNAOCDa/dEwWI7ZbJi
 ANUg==
X-Gm-Message-State: AOJu0Yw4Gd9nvp+oHrFj+jqf0lT8+gL3y+JbJvV8STlRV5KG4up1D5cp
 oe4X+s2TnQahN9mHP4t/FlCGpUOqapMIuxbSc9N4uREMQ0Z+kDrv
X-Google-Smtp-Source: AGHT+IH1w3ctNGdfhqIWy+S/u+WGdQyl3tNsZ6ck7YcTkwSMyVTKUt27yrHvZ1okQ7NS3067RdZOWw==
X-Received: by 2002:ac2:593a:0:b0:512:a980:719f with SMTP id
 v26-20020ac2593a000000b00512a980719fmr843379lfi.69.1709191398115; 
 Wed, 28 Feb 2024 23:23:18 -0800 (PST)
Received: from localhost ([141.226.12.177]) by smtp.gmail.com with ESMTPSA id
 h12-20020adf9ccc000000b0033e03a6b1ecsm918270wre.18.2024.02.28.23.23.16
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Wed, 28 Feb 2024 23:23:16 -0800 (PST)
Date: Thu, 29 Feb 2024 09:23:15 +0200
From: Efraim Flashner <efraim@flashner.co.il>
To: =?utf-8?B?R8OhYm9y?= Boskovits <gboskovits@gmail.com>
Cc: Guix Devel <guix-devel@gnu.org>
Subject: Re: Guix days guix home discussion
Message-ID: <ZeAw447dH9sS7S3y@3900XT>
Mail-Followup-To: =?utf-8?B?R8OhYm9y?= Boskovits <gboskovits@gmail.com>,
 Guix Devel <guix-devel@gnu.org>
References: <CAAqdTgMQRz93NP8jG9FQ3UOZg_HxQzvuUd3nCjJ+_2b2RPK2tA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
 protocol="application/pgp-signature"; boundary="VTFYcNxHbzW+EEnD"
Content-Disposition: inline
In-Reply-To: <CAAqdTgMQRz93NP8jG9FQ3UOZg_HxQzvuUd3nCjJ+_2b2RPK2tA@mail.gmail.com>
X-PGP-Key-ID: 0x41AAE7DCCA3D8351
X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc
X-PGP-Fingerprint: A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Received-SPF: pass client-ip=2a00:1450:4864:20::132;
 envelope-from=efraim.flashner@gmail.com; helo=mail-lf1-x132.google.com
X-Spam_score_int: -17
X-Spam_score: -1.8
X-Spam_bar: -
X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FORGED_FROMDOMAIN=0.001,
 FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.25,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001,
 T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no 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."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=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-Spam-Score: -3.87
X-Spam-Score: -3.87
X-Migadu-Queue-Id: E19EF4160D
X-Migadu-Scanner: mx13.migadu.com
X-TUID: 5LS/84PaCpmr


--VTFYcNxHbzW+EEnD
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Thu, Feb 29, 2024 at 12:59:53AM +0100, G=C3=A1bor Boskovits wrote:
> On guix days in the guix home discussion the following observations were
> made:
> 1. It is rare that guix home import does the right thing (it is usually
> removing some startup file customizations, does not seem to arrange to pi=
ck
> up profiles, not even its own). Either we should improve it, or document
> that it only gives a skeleton configuration and add some guidance on the
> steps needed to get a working one.
> 2. The user default profile and the home package profile being separate is
> causing some issues. It might be enough to document all the special
> profiles somewhere (which as of now include at least system profile, user
> profile, pull profile and home profile), but we can also think about a bit
> more general solution, along the lines of a home service that ensures that
> a given profile matches the supplied manifest, and have variables for the
> special profiles. (These could then provide extensions to the shell
> services which could arrange to pick them up)

In the past we had some issues with various assumptions in guix that
~/.guix-profile was the main profile and we had to add additional
use-cases for ~/.guix-home. I'm not sure if we've gotten all of them
yet.

It also might be helpful to consider something along the lines of
exposing the symlink service bits from the home service modules and see
if it would be a good idea to offer adding a symlink from
~/.guix-home/profile to ~/.guix-profile.  Or (magically) adjusting
~/.guix-profile/etc/profile to also source ~/.guix-home/profile if it
exists.

> 3. Sometime on home reconfigure the shell prompt customizations seem to g=
et
> lost. Sourcing the shell startup file fixes it. I will have to look into
> this more to file a proper bug report.
> 4. Creating a guix development environment service would be beneficial, to
> showcase the possibilities and to simplify onboarding. On top of there
> could be an additional service that adds emacs integration to this
> development environment.

Also on the topic of onboarding to guix-home, the etc-skel service now
also includes a bare-bones guix-home file.  It lives in
/etc/skel/guix-home-config.scm on Guix System.

> 5. There was a recommendation to relax the expectations on the home
> services merged. Right now a lot of people are just writing services for
> private use. Most probably such a single usecase service would already be
> beneficial to multiple people. The idea is the following: make it easy for
> an initial home service to be merged. (Example: do not ask to implement
> options that the submitter is not using). Then take care that if there is
> an addition to the service that it really gets merged with what we already
> have. This needs a bit of up front design, we have to make sure that the
> services can be extended while maintaining backwards compatibility.

Seeing how often we add an extra-config field for just about every other
service I don't think that should be a hindrance.

--=20
Efraim Flashner   <efraim@flashner.co.il>   =D7=A8=D7=A0=D7=A9=D7=9C=D7=A4 =
=D7=9D=D7=99=D7=A8=D7=A4=D7=90
GPG key =3D A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

--VTFYcNxHbzW+EEnD
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmXgMN8ACgkQQarn3Mo9
g1GSnw//bg7td1hSBP7K7CMWWNpn6DlRDsGr2+5P6ssV8w4mnND4cRBQ4+wea24i
gDUi1DZsOU0ct0wMNrJ+K4dYdUUkC89t+7bUxibnA+VkVLXdDfYxrjYzdDTm4bLQ
bOxmR2sMudNBSg0ZIoXT/i1PpWgilEHTDGYhgsX2/2kTitTVvmuiUi3nlrTPT6q/
VYW4Y7j0C0AAlce5voy+wGdKNuStPeegIzVIfqZPe83XwekqZZSIvqkbdZ+oOzP/
n+HCtNViUD7Bdus3yg9wgpq1JCFcpjC206nT6hlzjsMFltGLnLXP0B9L1AdeQVL7
YuE5EUpFAf8uNpI3N66S5/lBYVkgF7vmg8txNYpn/M/P+baWU/g+T+zyHmJSomtF
ABZ1hagp3fBPrlJlFQH3MaTt8RY5YYebJuA35mjIh7etMEPOhxC5Pv4DDncj758Q
vFwgv8aLQNNdpn15O48Kk1mZzR4GiSGFeV8j8wK14LdZ+9j0TFH5W/aAAPPOmO1L
GyTRGemmut1aWBjbSPxwR8JFeID4BdyqJqdxfYmTZWmFStLlSDZKy5VTuRIvngdS
+RxevrsyaR9vRVS7yN+nWg93NcW94Zb+nYTfoSvK8yKw3aMzxlSLjuKmruVnjGxc
4oQSk+c5WQQXzKO3UPQYcc0cFtp+jxVgJjZfr1Jd8NftlWmMJpo=
=m9JE
-----END PGP SIGNATURE-----

--VTFYcNxHbzW+EEnD--