From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id kC5dNLUet2NB6AAAbAwnHQ (envelope-from ) for ; Thu, 05 Jan 2023 20:02:13 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id eJ1gNLUet2P5cAAA9RJhRA (envelope-from ) for ; Thu, 05 Jan 2023 20:02:13 +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 927D93B9EE for ; Thu, 5 Jan 2023 20:02:13 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pDVUm-0000G3-EH; Thu, 05 Jan 2023 14:01:44 -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 1pDVUe-0000Ep-J8 for guix-devel@gnu.org; Thu, 05 Jan 2023 14:01:38 -0500 Received: from ci74p00im-qukt09081902.me.com ([17.57.156.9]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pDVUc-0005ym-Pw for guix-devel@gnu.org; Thu, 05 Jan 2023 14:01:36 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mac.com; s=1a1hai; t=1672945291; bh=oUqwBJLMfaCYYa3E3TnU2uKbohb6hFivVBsrisZIBaM=; h=From:To:Subject:Date:Message-ID:MIME-Version:Content-Type; b=LVJ4QcwzlHQ1bZLYD+RShOXL8s5COmsXAe7Hl4Cu7woL6YdM8C94Sq16cc7jUnkHw O0FHZSUVM7JyhVgV0KEU9vsa6y/7SNZskyCCWDMRAHPF6tepxbT4vjPvIseaSViq5A 9lWqs1fu5+UIOjueT5OfM38fG6SIGiVzi2jULoP/oQYuAnRK8gmGCjixVk30a9X8ru AH/7nRH2//q//TZUSorLRmNHPkjFuSmWleHvJAGYznlOjf09oVAIf1GrTtJxl8Dz0a pupa0rlKQlOUE9A9LhVYm8+lBtsW2zR0xpVOuYvoEcax8jtfyHFehyqALhclrwzQTk BMjj00NVLbaVg== Received: from localhost (ci77p00im-dlb-asmtp-mailmevip.me.com [17.57.156.26]) by ci74p00im-qukt09081902.me.com (Postfix) with ESMTPSA id 5B82B290030F; Thu, 5 Jan 2023 19:01:30 +0000 (UTC) From: Eric Brown To: kiasoc5 Cc: Eric Brown , jgart , guix-devel@gnu.org Subject: Re: =?utf-8?B?8J+Mju+4jw==?= Install every Guix package =?utf-8?B?8J+Mju+4jw==?= In-Reply-To: <336ec686-6f54-9d7b-e16f-3c14fd4063f6@disroot.org> (kiasoc5@disroot.org's message of "Thu, 5 Jan 2023 13:48:55 -0500") References: <9bb2b8fd4acff38e2669727cbb5d2990@dismail.de> <336ec686-6f54-9d7b-e16f-3c14fd4063f6@disroot.org> Mail-reply-to: Eric Brown Mail-followup-to: Eric Brown Date: Thu, 05 Jan 2023 13:01:28 -0600 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Proofpoint-ORIG-GUID: XtZ-MOYLUzrO8oX8q4JBUfoE0WMuS1OX X-Proofpoint-GUID: XtZ-MOYLUzrO8oX8q4JBUfoE0WMuS1OX X-Proofpoint-Virus-Version: =?UTF-8?Q?vendor=3Dfsecure_engine=3D1.1.170-22c6f66c430a71ce266a39bfe25bc?= =?UTF-8?Q?2903e8d5c8f:6.0.138,18.0.790,17.11.62.513.0000000_definitions?= =?UTF-8?Q?=3D2022-01-12=5F03:2020-02-14=5F02,2022-01-12=5F03,2021-12-02?= =?UTF-8?Q?=5F01_signatures=3D0?= X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 mlxscore=0 bulkscore=0 clxscore=1015 adultscore=0 phishscore=0 suspectscore=0 malwarescore=0 mlxlogscore=505 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2209130000 definitions=main-2301050150 Received-SPF: pass client-ip=17.57.156.9; envelope-from=eric.c.brown@mac.com; helo=ci74p00im-qukt09081902.me.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_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, ODD_FREEM_REPTO=1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-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-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1672945333; a=rsa-sha256; cv=none; b=mb/DobLq/w1pzG0crB+/n9vb1c7IG4EAXcbwpi8f5rh66s7j4LFyMHLWcbo/62U3poLVi0 n+spEW5PPMCQUOe/68KiScqYqkSKaWc43BsbIPxos5B6OWTy9CgmYH8cwpgYFuwV5U1oHe 82bJO5UdY+obBwNfjdKpJ5dB8ermMLYxXS0k4ZZrrfSk2ksnYlVVVW3tpInI4PhxzjWYdh TMfmkDDo37C6XQvmApjcsE84QLzGggfes1NQK5hMHcuREerp/4KgvVmQW8HoScUIMmZrVh YKjrc35YCMAFfYTUn+WN6EtrQZbA6swiN4z3PjHGr8JI9xf5zfz6Bdaj+xQ0HA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=mac.com header.s=1a1hai header.b=LVJ4Qcwz; 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=quarantine) header.from=mac.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1672945333; 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=oUqwBJLMfaCYYa3E3TnU2uKbohb6hFivVBsrisZIBaM=; b=N9+5MxfFupawaU8g4fERWAKiMOlg4KOXtsOOVJ3FxUdSd6lobDgreRkRi1+FsF6ULFK3gt y3xuhQk2obFsi+aav0G3nLdgCFuFGMNCE6+rN9x4ehjKougBFU6eKMutZ21SUE4eAmEDXK 7bwD/1LdlaaZXpSZzNeEpARo4HKi9j6qKF2fTJY178Ttpz1S3jM04Kkd31/vCGBsa8+nTs zPPgCE9Ae8SlJQmjSHnGAxLd6Phk4YPXaSc3CLpU20Mvv3qKh7rPdH8pD6vDfFfEoOKQvu w8HnVdgZrE3+cYJB+xha1VYd905/u8+8wNf2GcxGzyFgXMwHBesWKRMyw7fsUQ== X-Spam-Score: -10.52 X-Migadu-Queue-Id: 927D93B9EE Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=mac.com header.s=1a1hai header.b=LVJ4Qcwz; 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=quarantine) header.from=mac.com X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -10.52 X-TUID: LPKjh5tpqUSt kiasoc5 writes: > I just realized that this downloads all packages into the store, which not the > same as installing all the packages into one or many profiles. I wonder what the > minimum set of profiles to install all packages while avoiding collisions might > be? Correct, my reply was about building everything rather than installing everything. But--as a case merely to prove a point--if you include the kernel in the required set of packages, then the single set of non-colliding packages can not be defined because there are several mutually-exclusive kernels. A valid "maximum coverage" set must have some additional constraints.