From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 ) for ; 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 ) for ; 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 ; 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 ) 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 ) 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 ) 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 ; 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 To: =?utf-8?B?R8OhYm9y?= Boskovits Cc: Guix Devel Subject: Re: Guix days guix home discussion Message-ID: Mail-Followup-To: =?utf-8?B?R8OhYm9y?= Boskovits , Guix Devel References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="VTFYcNxHbzW+EEnD" Content-Disposition: inline In-Reply-To: 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." 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: -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 =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--