From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id GKmQOoi45WGJ/wAAgWs5BA (envelope-from ) for ; Mon, 17 Jan 2022 19:42:16 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id cMokN4i45WGUYAEAauVa8A (envelope-from ) for ; Mon, 17 Jan 2022 19:42:16 +0100 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 930A41A808 for ; Mon, 17 Jan 2022 19:42:16 +0100 (CET) Received: from localhost ([::1]:48442 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n9WxK-0004VH-0B for larch@yhetil.org; Mon, 17 Jan 2022 13:42:15 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34054) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n9WwG-0004V7-71 for guix-devel@gnu.org; Mon, 17 Jan 2022 13:41:10 -0500 Received: from wout3-smtp.messagingengine.com ([64.147.123.19]:45045) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n9WwA-00051W-Uh; Mon, 17 Jan 2022 13:41:07 -0500 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.west.internal (Postfix) with ESMTP id 9D2363200BF9; Mon, 17 Jan 2022 13:40:56 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute5.internal (MEProxy); Mon, 17 Jan 2022 13:40:57 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=famulari.name; h=date:from:to:cc:subject:message-id:references:mime-version :content-type:in-reply-to; s=mesmtp; bh=0+/mbddzuLsGksaBGQ6xDRT9 BfkD5cGU4Jb6S/qW0kg=; b=c3a+LNMRrUj1lsQiMh5mcQAVU9zvic3MBuZ0itEi N0LrZdQF/TwjSqIVB7NAIzqebDV1r1MyvrK86grB6AcNW+aovAFuzzzw86U2Ww1z ttN/G1GUXMyGP8tTMQqGB9Hx2cSNJZpumt/h9R5q91H+OB1EF7vNPVI2riE8nPtL gK8= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm1; bh=0+/mbd dzuLsGksaBGQ6xDRT9BfkD5cGU4Jb6S/qW0kg=; b=UfTxX/ZhWF7Yhq0Dh1DPxF 8JgQHWGsFk6QapH8I07BHuop64Y0gdqJgLbkCY0kFXrW6PfxP6po30Mx/IOELy/4 tZVFChtFnwSrcUab/SO7HOm7Ni26wGnaqsvTzwBpwjfgqUAzsSo0D24u59VbkqFR Mz8Sgwit0F4pRpofu/JUCbzDo3mcVmYw7uwzK9+A4W1dbpTR13VOdsKpRieQw985 IiXxcDBGBb+WWG/eZOwWv7s6d8NOCqYP6s2+CbXGt4tBnOm1jkJOiQyOzjDIEaBt L6uXFvKxCb5dvxiXVARgWCIx44RFEvfxanAv4vScWptk9ecH7sFG2h3fTm793uTA == X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvvddruddugdduudeiucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepfffhvffukfhfgggtuggjsehttdertddttddvnecuhfhrohhmpefnvghoucfh rghmuhhlrghrihcuoehlvghosehfrghmuhhlrghrihdrnhgrmhgvqeenucggtffrrghtth gvrhhnpeeukeektdffvddtudegjeegtdevhfeufeeivdejiedtieegtdevjedvjeehffev gfenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehlvg hosehfrghmuhhlrghrihdrnhgrmhgv X-ME-Proxy: Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon, 17 Jan 2022 13:40:55 -0500 (EST) Date: Mon, 17 Jan 2022 13:40:53 -0500 From: Leo Famulari To: Matt Subject: Re: Profile definition, was Re: bug#53224: Cookbook recipe about profile collisions Message-ID: References: <87v8ym4sav.fsf@gnu.org> <87pmoqo3b7.fsf@gnu.org> <17e692ec987.c9fc5e4191836.2115614241637446332@excalamus.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <17e692ec987.c9fc5e4191836.2115614241637446332@excalamus.com> Received-SPF: pass client-ip=64.147.123.19; envelope-from=leo@famulari.name; helo=wout3-smtp.messagingengine.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, 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.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel , 53224 <53224@debbugs.gnu.org> Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1642444936; 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=0+/mbddzuLsGksaBGQ6xDRT9BfkD5cGU4Jb6S/qW0kg=; b=fTXFEMKScvv5pkKd5lVvDmgiJrizjW4oUZX1RYsTE7NZ6ygee7G5QwNAMiQ45RRW9pUIVv 8xP8gLJzQs3whHL7e9eEyHx22YREZBWXQFBwLf4F5+pFiA3bCTJXlZpN1J13IXZtU2QrGw Y9rGVnPpU97bqTnnsTvRY6unFFejnwINgjOSFNmbCCxdYcgfWA8erLgQG7mWoU/L6Ubr8p tMB1nUUU75mATAxgdSAUpscjik+QSgGt45UTsViMGTFJd0vvs9ZLT81VprINBewpeh6Xbc L4RUPBvr5XtYse1/+kKIsBU79rX5d3zUUHlMNdTsZDKYeRuj5D/o/d9tnn77Ug== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1642444936; a=rsa-sha256; cv=none; b=MLDoCGNiBiWr6n7PbJrHDgeujzvAaYVxaWsxPAqOgyq/hjRmE22myme9FGiMzhooi6vTvR 5n3t96kxHatCRD/x1OVjENYx5ZNktp9ZJFWuTYDHLo0uai3jSPgLfp27GzWFK+zETaXuLo O7UMv0vTBSq5ZwmTNlRHLo6Hcvj2S4T0IjiSTYxtTQvPBNugoyxqFIH8JokndijX9urC7X 1Ym45FPbpjEbl+1YcYRkC3VKULEBebaomyzAJNc3y9TPrOSrBh+BuXSEWygEUtjPxwApcI jTfODTRuAr3AeGmBpzICwZ8OX43MirR3Kj4xy7+x6Ej2Tyrf7ihvTvY7Uc+HXQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=famulari.name header.s=mesmtp header.b=c3a+LNMR; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="UfTxX/Zh"; 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" X-Migadu-Spam-Score: -2.22 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=famulari.name header.s=mesmtp header.b=c3a+LNMR; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="UfTxX/Zh"; 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" X-Migadu-Queue-Id: 930A41A808 X-Spam-Score: -2.22 X-Migadu-Scanner: scn1.migadu.com X-TUID: +9MZ3u5o/HJg On Mon, Jan 17, 2022 at 12:56:20PM -0500, Matt wrote: > Leo is 100% correct that my understanding is still rather weak. I'll do my best despite that to help make the documentation better. I hope you will not feel too bad about that. Remember, everyone begins by not knowing anything. Your situation is not unique at all. Rather, your energy for improving the documentation for yourself and others is exemplary, and will improve Guix in the long run. Overall, this highlights a case where there is tension between when an implementation detail doesn't matter, and when it does. That is, the ideal situation is that the implementation details of profiles do not matter. However, when there are "profile collisions", it does matter.