From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id 2F96Kj1DzmWuqgAAe85BDQ:P1 (envelope-from ) for ; Thu, 15 Feb 2024 18:00:45 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id 2F96Kj1DzmWuqgAAe85BDQ (envelope-from ) for ; Thu, 15 Feb 2024 18:00:45 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=jfAoQ+r4; 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=gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1708016445; 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=AZZsUpiccOdpYGzcSeNA80KyQmpevev7U1GW/IPXGvw=; b=OQDOlddJQ7eNT5dGBuiroOaAUEb2IqOOZ1dMAIYzw6R38pV/YM3NOc7rWRU+5kORa5UbXy rtTxERO2HQTu45GhPUW36qXT7IRRoLPQarWjWr3CjC8pqjZcdCjbXNeJ/5oOjnVd0aaCX4 5tBmoE0+ytwGrqthbpvC9A7EBQKnM1uqsDleClqW+jR+zSHuep4JSpxgVCC4idhpTx3YvB oEm7sm5q3mmRoozHej36xOgUkuD2gB5ULZnCasrqnYvmvudheLMPBnFbGWtB/S1HYM4ULS spR1g+erm9YBmX+UlPBhloit315hoAR7iTkrapyzPL87iskbO1VFwF1sGZuSqQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=jfAoQ+r4; 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=gmail.com ARC-Seal: i=1; s=key1; d=yhetil.org; t=1708016445; a=rsa-sha256; cv=none; b=eQNE8g1H9zl1TZ6Vn8JFZyTKg/Scf+PPxyfY17Hsxkz8aLCVVSmHeHhQ+TL9KPSZzCe4Et EnOl4BSu5HtDqy8HJZivvQIYRlwbx4on7ZvA4rUW8Bsqaa/sEatO1+oDtcBWAi2viIcIdR wL8ysUVFrkdure8n4tYxPg1+w1ytN/EMp0Ckjq1gpMOOm8Yi/I5ZjKPb81hPjmd6hXWvXO ghvJ+6cKqkoJalY8KSSj+CR7EKaxstrVH+X5QXLXZXpJgyVZ4DlN6wMQEGOFWonT9CMzBb 9oGJT70/REAkonUv4+O2r5Zs80o5qg2gigihOvzMNyxnzOLT5qBRGhTX/ivflg== 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 621478A3E for ; Thu, 15 Feb 2024 18:00:45 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1raf63-0007nB-EK; Thu, 15 Feb 2024 12:00:27 -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 1raf5g-0007jn-Sj for guix-devel@gnu.org; Thu, 15 Feb 2024 12:00:04 -0500 Received: from mail-lj1-x235.google.com ([2a00:1450:4864:20::235]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1raf5e-0007Sd-Us for guix-devel@gnu.org; Thu, 15 Feb 2024 12:00:04 -0500 Received: by mail-lj1-x235.google.com with SMTP id 38308e7fff4ca-2d12bdd9a64so3624381fa.1 for ; Thu, 15 Feb 2024 09:00:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708016401; x=1708621201; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=AZZsUpiccOdpYGzcSeNA80KyQmpevev7U1GW/IPXGvw=; b=jfAoQ+r4RuZ8XilwZ1iCA7vWtRRvGOuB/EZAwyifp4p1L6bgjlbFChbxB+E5gvqH/Y +dVadIM/9Cz1S6Bxx+LAtyEpJoyLnWAds9b+VIzmm5AU8SCXziFAQMCxibZEJ6QbVyIr //pnPii1Zq8TVd4e3Y95eNLNhl7PuDsgmJVQJnvxyspOAVI9kE8pccbrkG1DcHZLmuC8 OnEcG5Xx2WL7NaRyZePiaGEBx6Db+wUAnrNNOEHEnlNMvOUWNQ21RZ1OorrZTdmpppkR uzJFTeBv21RSuhaho4/4tQt1equgK3e/A+EgkXxiNNCfKlWlV8Zk2LTsOksS5kXk4xSp rATg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708016401; x=1708621201; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=AZZsUpiccOdpYGzcSeNA80KyQmpevev7U1GW/IPXGvw=; b=WOdj1mCuK6XQAy1mmhlSqAk1AVVWc8uVO36lb1HrjBC+aISJttzVOMdPMrOPo9sC6Z Fh+ZymfydxJb5yGroFEv++G+N8A5gVKA8DyLs50ybv7B+8zZRGc+QVaYyNYXXKSmfw8V F5DiQvtdW5vHwNBAovRG7V2YpkOjGWCI2iJK+80HLf3PPQe0Cv7sJB/70yMVo2TmWsbS Ly7uo06snxkEXTVpk9za7Zc02dcPX1XEQMxllMyMu4uwEqwoXlDRtKL4TPNilRFW6cQD eA1lngYdSH99CuhlpDPvFdWVgY6cxvrQQSlSbLzPVaS5I6nUQj150PGX9gApGQN8eL1v aycA== X-Gm-Message-State: AOJu0YwPHeH5F0sxCnyKlDfIoMNvYt3OQyasVvsMmgXdHk1rOWkdG9EC aDqiOmouw7RzWzYc2He+dx94GuFpzucUXZVsrhcuUrb0TWc9JJFOQHhGwfU1 X-Google-Smtp-Source: AGHT+IGz0rR9Ewk6j8Rn0tgx73Mf2Ut4Hct9JYd5YLgIlR0dXwL8WZA5idwKGsB99vJWktx2soX8Ng== X-Received: by 2002:a2e:988c:0:b0:2cd:f124:ad5 with SMTP id b12-20020a2e988c000000b002cdf1240ad5mr1741398ljj.3.1708016400542; Thu, 15 Feb 2024 09:00:00 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:7d85:9c0b:111:5112]) by smtp.gmail.com with ESMTPSA id s7-20020a05600c45c700b0041214ff06cesm2427625wmo.42.2024.02.15.08.59.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 15 Feb 2024 08:59:59 -0800 (PST) From: Simon Tournier To: Christina O'Donnell Cc: guix-devel Subject: Re: Mechanism for helping in multi-channels configuration In-Reply-To: <0109ba4a-f62f-b438-c0ba-f46e66395a7e@mutix.org> References: <87v875kf5u.fsf@gmail.com> <0109ba4a-f62f-b438-c0ba-f46e66395a7e@mutix.org> Date: Thu, 15 Feb 2024 16:05:04 +0100 Message-ID: <87mss17opr.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::235; envelope-from=zimon.toutoune@gmail.com; helo=mail-lj1-x235.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 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: , 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-Scanner: mx10.migadu.com X-Migadu-Spam-Score: -7.91 X-Spam-Score: -7.91 X-Migadu-Queue-Id: 621478A3E X-TUID: 4S5LI58jX1kT Hi Christina, On sam., 03 f=C3=A9vr. 2024 at 15:27, Christina O'Donnell w= rote: > =C2=A01. Have a script that scrapes all the define-public symbols in eve= ry=20 > file in > =C2=A0 =C2=A0 every package. I think you mean =E2=80=99fold-packages=E2=80=99. > =C2=A02. Have a script that determines the symbols needed by each file. = (Macros > =C2=A0=C2=A0=C2=A0 make this more difficult, but.) Well, this would be difficult, IMHO. Somehow, it is what the compiler does. :-) > =C2=A03. Have both scripts have an incremental version that runs on diff= s (for > =C2=A0 =C2=A0 performance). > =C2=A04. Run this for every commit on every branch on every channel cach= ing the > =C2=A0 =C2=A0 result. > =C2=A05. Have a CI script keep this updated for new commits. > =C2=A06. Have a server track incompatibilities. Here, I think the issue is that one server needs to track all the channels. And that=E2=80=99s a too strong assumption, IMHO. I think the design should be something on channel maintainer side. Somehow, the main Guix channel could be seen as a Git submodule from the channel side and the issue is that information is not tracked. There is this =E2=80=99.guix-channel=E2=80=99 file which allows to describe= channel dependencies. And the improvements could be to add more there. The question is what to add and how to add it. Keeping in mind the simplicity and the maintenance burden-free. :-) > Full disclosure: I've got nothing lined up for the summer yet, so I'm on = the > prowl for GSoC projects :) Cool! In that spirit, one tool that is missing is: search packages in all the history. Somehow the need is described by this message [1]: how to find which Guix revision provides which version of Foo? In addition, =E2=80=9Cguix search=E2=80=9D is slow [2]. Well, I have started the embryo of an extension based on Guile-Xapian for indexing and improving the search. Really an embryo. :-) I think this would fit some GSoC. ;-) Cheers, simon 1: Re: List available versions of package. Philippe Veber Tue, 11 Jun 2019 09:43:08 +0200 id:CAOOOohSzUezKvm=3DRO0bXRGH3m0eo2x0cOTvd--vARxWoqtceaQ@mail.gmail.com https://lists.gnu.org/archive/html/help-guix/2019-06 https://yhetil.org/guix/CAOOOohSzUezKvm=3DRO0bXRGH3m0eo2x0cOTvd--vARxWoqtce= aQ@mail.gmail.com 2: https://issues.guix.gnu.org/issue/39258