From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.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 EKIFG2Un92WN8AAAqHPOHw:P1 (envelope-from ) for ; Sun, 17 Mar 2024 18:24:53 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id EKIFG2Un92WN8AAAqHPOHw (envelope-from ) for ; Sun, 17 Mar 2024 18:24:53 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=AJvx4VPo; 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"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1710696293; 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: 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=4FUweShg060sXlBkY/AYdtPDBEoD+J/XNzOAF0Bna0c=; b=PxKKCEweZxfkTlyHVv8enNTqDmziClc+iA1MiLVQRFZ1cOuGlWg6s16+HrDgzMyh/NtLQI Idhed5yIZdWrN6RK979sHBGDRSzZVuwuaW6I/mdKRWoEHOymhfyzX8y/n336oLYZVd+A6C bsUWKUf/CLz3pdWL8mKdZtP6xhx8zt3NF6khxaGL+AnLdLE63baiOcL+nN/HomKMv9hWRx 9ejPvAzr+IbLjZ1WBciAOddqOycxVhS4bJUKfYTtV0xy+ijDzPBN9MS7F+FlRX69kgam3t b5XPHR+1eCgi8T3QtCCoi6sCns+tXTW1EWY/qmux5KlbWie7Wg4kU3duLdHFlg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=AJvx4VPo; 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"; dmarc=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1710696293; a=rsa-sha256; cv=none; b=KwdgYnF2ll3i+Fuj8Q3XThb1n7mofUKdpOtgU/+T8bqwEklN8AtjBJtU/sp9wT/RBDzkSr 0BTEpgvN+aHSBZjqUVudArLFltF41+Qz/4gXNmmr9sLH/Evw0WBXdeMtwJOYrhCprdoPoY IJlLeNzkXXqyvoW+h4Oof5GBYxStztZoiiZv8bfivWge876LYB+M4aIxhnX5tparEqu7uI iymhpvkm3Z/kerOPwH7kxtrm24Oo4P0GzsZZIjsnfAfKRphKe8BODu9Nh7SUz/1qVCZYMl Ymli9Lc3Fw2dOTHP8nIojkXstp8D8TrF0du6yIPvaCWvRZbzYzMYk3RSCd/X/g== 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 5860416CF3 for ; Sun, 17 Mar 2024 18:24:53 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rluFG-00033p-OM; Sun, 17 Mar 2024 13:24:26 -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 1rluFD-00033Y-9e for guix-devel@gnu.org; Sun, 17 Mar 2024 13:24:23 -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 1rluFD-0003a7-1b; Sun, 17 Mar 2024 13:24:23 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=4FUweShg060sXlBkY/AYdtPDBEoD+J/XNzOAF0Bna0c=; b=AJvx4VPo8bUVxfFQC8bc PP36CfGpR2PLliXZJmLTfdGMbHzjvirKZmPX/HsrEh84ZCaZ4zU5dBAgVW9KiVc18iLpjwF+3UNIx BpS5SlBNApWdZcSGLGjJTw4vOqUEZLhw67caBoCPC8NmLMQ/kXGUEbsUm0yUCkMB1/AcLVElMPw7Y cbqPtvdolFjnOnRa0kAu5kEXRrMotBwCLr0kcb+ZfAyz3j9SzrkWmZ+QRk0agYunWm/R/1BY8f7+T a4iEmOs2fVohCl0wq8rxvPU5/SzYfYKmfDmGxlMWIrkFlF/jA6edhCTO2CSzmwq5YnZBHaTKj22ZL 3xWW8m0QYGx26w==; From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: =?utf-8?Q?G=C3=A1bor?= Boskovits Cc: Guix Devel Subject: Re: Guix days guix home discussion In-Reply-To: (=?utf-8?Q?=22G=C3=A1bor?= Boskovits"'s message of "Thu, 29 Feb 2024 00:59:53 +0100") References: X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Octidi 28 =?utf-8?Q?Vent=C3=B4se?= an 232 de la =?utf-8?Q?R=C3=A9volution=2C?= jour du Capillaire 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: Sun, 17 Mar 2024 18:24:20 +0100 Message-ID: <87r0g8db5n.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -11.05 X-Spam-Score: -11.05 X-Migadu-Queue-Id: 5860416CF3 X-Migadu-Scanner: mx13.migadu.com X-TUID: zKZnjtVO6mdv Hi! G=C3=A1bor Boskovits skribis: > 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. =E2=80=98guix home import=E2=80=99 does exactly that: generate a first conf= iguration that you may find necessary to tweak. Perhaps the manual should clarify that? I=E2=80=99m not sure what you mean though when you say it rarely does the r= ight thing. Did you discuss examples? > 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) Likewise, would be nice to see if there are specific examples of problems that people stumble upon. > 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. Interesting, I like that. (A colleague of mine has been working on a pre-configured Emacs targeting developers using Guix and writing C/C++/Fortran and LaTeX: .) > 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. I personally try to lower the barrier for Home services, but I think few people (if any) beyond me review Home services. We should expand the =E2=80=98home=E2=80=99 team; who=E2=80=99s in? Thanks for the feedback, Ludo=E2=80=99.