From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id MC/4JbFFMWUnLwEA9RJhRA:P1 (envelope-from ) for ; Thu, 19 Oct 2023 17:05:21 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id MC/4JbFFMWUnLwEA9RJhRA (envelope-from ) for ; Thu, 19 Oct 2023 17:05:21 +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 2AC126275E for ; Thu, 19 Oct 2023 17:05:21 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=wolfsden.cz header.s=mail header.b=tacHnZ6a; dkim=pass header.d=wolfsden.cz header.s=mail header.b=VHumOtaT; 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=wolfsden.cz ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1697727921; 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=MXovTKKHZvxnxAUURw/HbL6JpXWp5RB6XnBB7vpEsWo=; b=KYFEBgw0aM7hK2C8AyfN5Sb4TqNhlhvdJ5mJmLyekoMkYBB28VwuqlgH/u8tKwOEPZ0iZm Mn20umQWQ51cdtGMGbZAy2R5qQo2MR54hBYrkzKab8EwqyU3i6fl5ne5OydY/ohrpQkZ3j J4+CbtJigxgmid1EacPAfjZxHUifTs5xrd0bAGoQO37kwYpAlHBIUJ4pntjDbaTkWeb/GU ZgfVo7W11Xi+LHdLeva5nnBOgKJowKpagJ4nuRw2u202JCkbxwmnae28nSX3kmZKkLybgc 6ucCYlG5c6XIGkAOkfyQUzYDtPjLCg16Xvq5jL85DSFo+nel1+wLk+p+qeFVAA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1697727921; a=rsa-sha256; cv=none; b=frp1/HzCJTvm7uMRO48ydoZgRgr0bGJbjXQCYg/Nn2tfat7Imb/NXou5y5VbYctxDLeRnS dPL+4hUFaR7dOIzoUjohVpMYrMvlG8svuZiuDQCo0Z9h0t61TrtSuETAG9I8+hTh+fefpq TcLDpfC+bcqrgcv2OjBw/IUnTlfNQXjaTUxaOQCyYkquRETCx1K/8QDuKJMMcRF21Z6MEg HwyUoZx9yU00cAEMklVywxzjHwNGhwqgR2xEJUDegdUC5MQdvlyCdqslxB++t14xOvlnl7 3E5z51Xlvm9tqTI+d0o2UgemGhXEqqg2ECo3edRCvEpeKsS6CEEITNYkvZh+lA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=wolfsden.cz header.s=mail header.b=tacHnZ6a; dkim=pass header.d=wolfsden.cz header.s=mail header.b=VHumOtaT; 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=wolfsden.cz Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qtUZp-000281-1u; Thu, 19 Oct 2023 11:04:45 -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 1qtUZm-00027j-Vz for guix-devel@gnu.org; Thu, 19 Oct 2023 11:04:43 -0400 Received: from wolfsden.cz ([37.205.8.62]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qtUZk-0000uO-5a for guix-devel@gnu.org; Thu, 19 Oct 2023 11:04:42 -0400 Received: by wolfsden.cz (Postfix, from userid 104) id 00F6126F0C1; Thu, 19 Oct 2023 15:04:36 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1697727876; bh=nBAXLd2Vz0Ltt0T3fkZZZfLIwJwOJem9TT6R/HQ1VOA=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=tacHnZ6a18nqoe0S3cnE9z5eaFRVWsy9SKrTSTkS1sJdO7tEwXdzx7SSkfjWMTwnx EI09Xi5SlWrIr42iv80Txzh0fwJ1Pb/XaeUO+bZVpd8nYEXmNOFeliERoEGOhy70PO 2tpgI3A8kLd4U2Oz7rO6I6tB+DpJVCOOHIkUoA+7K0zYu7LHgNp+/tKHqYXauC/Dlo RJDKMD6SvHjB6OHMTjQQgOQ0KiHf34ybhV/gQDm4seXVOkb1vz69GZU3rQBApjBTsl PKtO3cXssucsIpZcUz7MwWgCwcGC/gW21GifZ/86NaIFru+9vgTBi22hVBB4KIoipL D0/GZJBnoOHgmyqJgtWmsA/jbE8i+nebtFx701wpGlgjGscN9mqLC6jf4Fp/BcZBtK +MlrviRBLuxM1saQI2LVWQIMVhFhZO/tgO2ebpaSLUPMffhyp1VthiwLj+xFN/JBqa JBzpRCksjxRKnOpqfMBwc6qyFYY6EON3lJDQlNPbaS/w7ykiHFiRFXpju+uQJvs0YX rRM+skXyNOI51HxBqpvwcxyS3cTQReE87XIfrG6nSFfepB1LdFcnhIrjqfqAGsCBf3 8yqTXz9Zf7K+S37nUn/VCKJpRS+/u22hKuy3vSYWGhVHPJiMmtuYIs7cpvasIdG1XF cpblDxi86h+sHf52IjPfKe9o= Received: from localhost (unknown [193.32.127.156]) by wolfsden.cz (Postfix) with ESMTPSA id 687A326DA6C; Thu, 19 Oct 2023 15:04:35 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wolfsden.cz; s=mail; t=1697727875; bh=nBAXLd2Vz0Ltt0T3fkZZZfLIwJwOJem9TT6R/HQ1VOA=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=VHumOtaTnCM3zxDFaIUP11Rz24CMQa4+wyn64W/uUZuFGYbo/Rt8a0N7A2ziknDzd +8ncsyX7tx8JR7+v+uRz1kFx3YXAfquecsjBxvHt2Mg45lkXQNjwwrVHbFwnj5XTFY AZ8Sond3gQ1mtpqvfCjIca6K6+lIx4xLgvotVV0ynuUyTlHP33v7SC6t1LZO1xMcbT kejFvsxlYB961CIL35TIsbtYR2lY9TuiYQpToetBLpS1EvafeyTS/mVAA7rYaqQwEQ f2ikB+7IaR4Vn59NJrI1wxQZuyelFHzbjfoDSASJMlV6bCjcThysqHFFU8W2cNOrFq PGMjEOic9stqiIL6BkjRsEOOKzzCeu3hV3SdnFf9GzRalw3baSHLtowJV5pVTUk/oV 0t5rIvHsoSbYJzlalhHUl3GivC2URxm4F83frOpH71c07iRyTwPScAwxZgnzjgGgwX Svca+UbbvwhSgHhSPPRbXVpf6RPYXgkvWs2jMTkUq7z2YkaTsJb9skjnlgBh7JqKJj UPzbDJQnAqGvZA8L4fdyOJntl1dC+sWo98qKpn6lH+jnQ2Wy2N9MEC4CFwT4YOOM7C PfB0vcq5N4AS8GuUjinpcxZBnIF4tzLqsYPN/TUrGVua+f5DSA3IXWcgVlg7AacCHF Gnk8GfiAhqM8E2g5gfW8zzUY= Received: from localhost (localhost [local]) by localhost (OpenSMTPD) with ESMTPA id ce823783; Thu, 19 Oct 2023 15:04:34 +0000 (UTC) Date: Thu, 19 Oct 2023 17:04:34 +0200 From: Tomas Volf To: Liliana Marie Prikler Cc: guix-devel@gnu.org Subject: Re: Re-evaluating the practice of automating user configuration Message-ID: Mail-Followup-To: Liliana Marie Prikler , guix-devel@gnu.org References: <15a91f7c5fb5fce23d0863548f8a1ab39d91cb69.camel@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="uBWLX4SXXEPbel5s" Content-Disposition: inline In-Reply-To: <15a91f7c5fb5fce23d0863548f8a1ab39d91cb69.camel@gmail.com> Received-SPF: none client-ip=37.205.8.62; envelope-from=ws@wolfsnet.cz; helo=wolfsden.cz X-Spam_score_int: -16 X-Spam_score: -1.7 X-Spam_bar: - X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.25, SPF_HELO_PASS=-0.001, SPF_NONE=0.001, UNPARSEABLE_RELAY=0.001 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-Spam-Score: -11.26 X-Migadu-Queue-Id: 2AC126275E X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -11.26 X-TUID: xhuzF3nafQW+ --uBWLX4SXXEPbel5s Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On 2023-10-19 16:36:32 +0200, Liliana Marie Prikler wrote: > Hi Guix, >=20 > as we all are more or less aware of, Guix automates quite much of the > user's configuration for comfortably hacking on our codebase. As has > been argued elsewhere, both by myself and fellow Guix, this is not > always a good thing. >=20 > Let's start with the cleanest example of how to do things the right > way: Our Emacs configuration is split across two files (one of which is > a directory, but let's get back to that). One of them are the > directory-local variables stored in .dir-locals.el, the other the > snippets in etc/snippets=E2=80=93if you're using YASnippet, the former lo= ads > the latter. I have no qualms with this being automated, as Emacs > itself gives me plenty opportunity of opting out of it. I could > declare any of the included variables or forms unsafe and ignore them > in future sessions. Likewise, I can mark them as safe to affirm my > consent that these variables be changed in /path/to/guix/checkout. >=20 > None of this holds for the git config, which we install unasked in the > working tree with a DATA target that we want neither distributed nor > installed otherwise. This has led to confusion both in the mailing > lists and the IRC on multiple occasions, so I'd propose we instead use > PHONY targets for: > 1. git-hooks to install the git hooks that committers need. > 2. git-config to install all of the git config > a. git-config-diff to just install the diff xfuncs > b. git-config-format to just install the format block > c. git-config-pull to just install the pull block > d. git-config-sendemail to just install the sendemail block > 3. git-fullconfig for both 1 and 2. >=20 > Internally, these would still be based on the actual file names to get > time-stamps to work. Thus, on a fresh pull or if you haven't pulled in > a while, you can run either `git fullconfig` or any of the above to set > things up. >=20 > Incidentally, my .git/config currently reads the following: >=20 > [include] > path =3D ../etc/git/gitconfig > path =3D ../etc/git/gitconfig > path =3D ../etc/git/gitconfig > path =3D ../etc/git/gitconfig >=20 > So clearly, automatically hooking up these configurations could be done > more cleanly :) >=20 > WDYT? > I have to admit I was surprised, and not in a pleasant way. When I started playing with Guix, I went over the etc/git/gitconfig and copied the parts I liked into the .git/config. For some reason I do not like tools automatica= lly touching the .git directory, and now I have the include there (5 times). I think turning it into a manual step, with the granularity proposed above,= is a good and welcomed solution. At least in my opinion. Have a nice day, Tomas Volf --=20 There are only two hard things in Computer Science: cache invalidation, naming things and off-by-one errors. --uBWLX4SXXEPbel5s Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEt4NJs4wUfTYpiGikL7/ufbZ/wakFAmUxRYIACgkQL7/ufbZ/ wanneRAAj6C1eOlAKL1zeu2PfGRORcRfmMXzkj9dknulxX9BEYi2saKOtwDoK08i qXdOQZrP1ccmFemLriH3hJHKlGwthimRa+1C5BMKoKo/fJjTxhuePsTHVzfBZssb yFgCYjEvpPOFdN38RM7zw9U8ZtUIoSZsPGIYvtomok7F6NXIJrAJEBf//soUvphB k0gmZhWTaIbHjHDU/kF9agLYfV5oh+NcThZoTJqur5kLjPTzJMj4CXGbCmgM/Dld L2jYpr6YAS5/zj2fyashUCu+zQAuo9NdpNc1e9B1nZ8oGXMBE3eGkcPG4RWj6Gpu TmvYxWGsHQ3CQ46HEvuJCZec6w9Ip0p33qxwuQXa4/w3k79BmpkLAfpi6Et69DhU 8Ay8rzdEKa+r1Lqkngc5Ga314H75vUkXxmpmSBgk6T49vFpET5QQairdTatwCH3N ALjxbnAHVq1wKjcVZkr40iS0+qd0fqCd1j01tnDKygR3YbALWANCGj/4al+qnFOj 9XC4iHOxMSWnls3Sw41GXcuJHTlacmlcgELPw1HxSL4zbgaXT1wiYRI7bHJS8yPQ w2B1fBwlp6qTH6Thm2I/cyLkp5y7t+ffUm0G6Eex97jd/821KZ47y/CwwxZd1OPs 4/+/YM/9kUISKDSTU/vythWwvs1+bWsTvpt1LFA/cfnjWTOoANc= =5qP8 -----END PGP SIGNATURE----- --uBWLX4SXXEPbel5s--