From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id eEctMXFtomZJPgAAe85BDQ:P1 (envelope-from ) for ; Thu, 25 Jul 2024 15:21:22 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id eEctMXFtomZJPgAAe85BDQ (envelope-from ) for ; Thu, 25 Jul 2024 17:21:21 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=greghogan-com.20230601.gappssmtp.com header.s=20230601 header.b=QOVOew4A; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1721920881; 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:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=s0+b9qo+oxqOf6AGJBLrHzRCftELOWyeykXQK6fS/5M=; b=R/9V7exCaGw2CvnHvRxcpvB6r1CxlQZp6vGPAGzn8PrUqRpuiYl+h8co23XKNy/3wMwGeG Gh0PnvHJEC3Q9AvxmqcT4epmX36oXXTlyA2INXGjtsB7So2ePPkApm3ME7s9LqkOTGNPEw pcVVZnS+lxqNOowhdn/JKucUQjD1eNhQCN0dEj8xc14lnn/LIkwItSBmnTaUdRXfAfP9PD m1yi/J1oFBpT60ldmmHE55ttQqFR/mDeOMdwfASsdp4QiL5vOvS/VaVKzHFyc4eou4gtVv OIJQQ05vooFtWL5RCSazCGcusq2nxOrGMaf5HAKRi7Ye+wGDuvz/6dlTiD/USA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1721920881; a=rsa-sha256; cv=none; b=CK5TnadRZxko2/w/ongS/fvpAinI5F928JHgwcTc1MsS3HyA1XJ7qlpoCUISnqr23lD9Z2 nYMiyIoz9YpgR6iopma/DRuUsV5GsjYg4IfHATKYh4nXLe2NmtzVUOhNJ4qwQyjsaUpu6l A/PgBSZiuUGEdI1iq8qBrBBaHBURkVYd608USy9cqRt2G48BaofvRSNxeck8FHT3phmYuM JFJIdNdAgAwDQNJ0A3wgEKUv0JYYI5PA+XXyY5AjhA4gIvBwfdq95cae1N4sdKrTLrq81i TEOwWt+icaJXqXxaENGUN0jrQu9HcWLH6cN8gWpSCrx7YteoQD2n2aRQLU7+qg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=greghogan-com.20230601.gappssmtp.com header.s=20230601 header.b=QOVOew4A; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" 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 6D1C8618BF for ; Thu, 25 Jul 2024 17:21:21 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sX0H8-00065W-2K; Thu, 25 Jul 2024 11:21:02 -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 1sX0H2-0005rm-K6 for guix-patches@gnu.org; Thu, 25 Jul 2024 11:20:56 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sX0H2-0001tL-22 for guix-patches@gnu.org; Thu, 25 Jul 2024 11:20:56 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sX0H8-00079T-2b for guix-patches@gnu.org; Thu, 25 Jul 2024 11:21:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71697] [PATCH v3 2/2] scripts: lint: Honor package property to exclude checkers. Resent-From: Greg Hogan Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 25 Jul 2024 15:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 71697 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Simon Tournier Cc: Josselin Poiret , Maxim Cournoyer , Mathieu Othacehe , Ludovic =?UTF-8?Q?Court=C3=A8s?= , Tobias Geerinckx-Rice , Florian Pelz , Ricardo Wurmus , 71697@debbugs.gnu.org, Christopher Baines , Matthew Trzcinski Received: via spool by 71697-submit@debbugs.gnu.org id=B71697.172192083727455 (code B ref 71697); Thu, 25 Jul 2024 15:21:02 +0000 Received: (at 71697) by debbugs.gnu.org; 25 Jul 2024 15:20:37 +0000 Received: from localhost ([127.0.0.1]:37588 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sX0Gj-00078k-7y for submit@debbugs.gnu.org; Thu, 25 Jul 2024 11:20:37 -0400 Received: from mail-ot1-f50.google.com ([209.85.210.50]:48398) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sX0Gf-00078V-3g for 71697@debbugs.gnu.org; Thu, 25 Jul 2024 11:20:36 -0400 Received: by mail-ot1-f50.google.com with SMTP id 46e09a7af769-70930f8eabbso271120a34.1 for <71697@debbugs.gnu.org>; Thu, 25 Jul 2024 08:20:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=greghogan-com.20230601.gappssmtp.com; s=20230601; t=1721920760; x=1722525560; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=s0+b9qo+oxqOf6AGJBLrHzRCftELOWyeykXQK6fS/5M=; b=QOVOew4AgotmET7O09+MkJwSgPdrNb6m4oqaZft8KoerEB7AUKIFTc60zXo/5pRBrw C3EZ2kwWOdKCm+z2fQCV+JPAaLNlk1z645026GhjURQqsf3ygLFtBLYEYDQUtS9EMV95 2aH48ude1llAf7Nt07OqCM8bU71KYzDn+f+sdH214P+RMjGDtPc4QK8oLOhEDHh2u7uK 2I+hAO/BqvWHwS9HLfq3cz1wxUCkG0YU5F2Lw8ZV0JVSRgLipqODw/7kd6QAJZHnD4wo rLlurva5FD0Zpw9UAqnuUDWGNSfseVz7bgtgMyMVDo/esXuICGN9rgInLxEhlczDOnO1 SO8Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1721920760; x=1722525560; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=s0+b9qo+oxqOf6AGJBLrHzRCftELOWyeykXQK6fS/5M=; b=GFpyUrFenKiRmbaOV44GAC0oIdncp/2nSqj/ivax/F6fMubD0FoOJR7ZuKmxmMbqPe ff3Rv0COtMIM7wNrMx0DGY4Qf6PL+lLFtU/SUYmVobKd4HVa1DQZxP12xolDsbyRHvw6 NbiNLE/AOtK0xnHFRmFpVtXMDAJ4Gco9IaUbnVux1NpVl4lOlekkjGoCiaRpqgah6ROP aHzj8WTx+aAsTMFWbOI8qgInbv7tH/VERxen8jG9hBklBn/0tIfdbtaOZek2MdpABC+J ti5hN7PnSYXe4lRa8OoJqV0J8NnzmZ6jmpq+o4JeO1JG/2uIMKpoJZJb/0nqnXJNmRlv 8ADA== X-Forwarded-Encrypted: i=1; AJvYcCVaIUziSQMijwQDAP1VYFcs47T0D6z8bUJB4FgeKNMSRDIb1WiAOA3IGIYg5xoZxx8iOTpA9ee4YxYsxFt7QTmmGy4H9Fc= X-Gm-Message-State: AOJu0Yzys6w1GeqbC8anfWSLmPJevJ72ANRz18gs05IbBnhjCvtvFgu9 91vHBU+OhRmUDbXOztet6RaUNKylN596+Y8qNYquH88eopDdvQfHo+x+90nlUkEXWLbHCXvDOco lzPrsptp3gupKjqr3XqP8Ej0tUvLn+m2VguWKUA== X-Google-Smtp-Source: AGHT+IGrTp9qv6QOYB0anMjp0rtvqp1FPv1Hb6wSXiZlG40GXrmZbiOhVuXaBBM9hgVcyB4EzQAAz6Hjg/4VDy/pV/8= X-Received: by 2002:a05:6830:6d8c:b0:704:4b6d:6346 with SMTP id 46e09a7af769-7092e734c38mr3478155a34.22.1721920759876; Thu, 25 Jul 2024 08:19:19 -0700 (PDT) MIME-Version: 1.0 References: <1f9e0a732fff5c6460e6da9500ea5b748882e38d.1719069966.git.zimon.toutoune@gmail.com> <871q4ldpgv.fsf@gnu.org> <87h6dfbj1w.fsf@gmail.com> <87seweelv3.fsf@gmail.com> In-Reply-To: <87seweelv3.fsf@gmail.com> From: Greg Hogan Date: Thu, 25 Jul 2024 11:19:08 -0400 Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Queue-Id: 6D1C8618BF X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: -2.42 X-Spam-Score: -2.42 X-TUID: ogINhS4w03pR On Fri, Jul 12, 2024 at 1:22=E2=80=AFPM Simon Tournier wrote: > > Hi Greg, > > On Thu, 27 Jun 2024 at 12:38, Greg Hogan wrote: > > > If this is the best use case for a spurious feature request then I > > find this a dangerous addition to the project. > > Sorry, I do not see the danger. What I see is the same policy for the > project =E2=80=93 nothing is changed =E2=80=93 and the patch set provides= an helper for > third-party channels outside the project. Please allow me to preface my response by thanking you for your contributions to the project, and to thank all of the many illustrious Guix contributors in this thread. There is certainly value in this feature request and my only care is for consideration of the implementation. > When developing or maintaining a third-party channel outside the > project, one might systematically run: > > guix lint -L . -x refresh,github-urls foobar > > because of some reasons of =E2=80=99foobar=E2=80=99. I do not see where = it is dangerous > to also have the alternative to configure this exclusion at the package > level definition. In addition to adding GUIX_LINT_OPTIONS (modeled on GUIX_BUILD_OPTIONS) could we extend the exclusions to allow package-specific definitions as with package transformations? For example, GUIX_LINT_OPTIONS=3D"--exclude=3Darchival,home-page=3Dmypackage", which would disable archival for all packages but the home-page check only for "mypackage". > > Those denigrading and > > demanding that Guix pressure partner projects to restrict the use of > > free software are unlikely to be content adding these flags to their > > private packages as may exist. > > About pressure, I will not rehash here what had been said at length > elsewhere. :-) Let me clarify about =E2=80=9Crestrict=E2=80=9D. > > For sure, I agree that by definition of free software, one cannot > restrict its usage. The key point here seems between a right and an > obligation. One has the right to modify and/or share but no obligation; > it=E2=80=99s still free software. :-) IANAL but I do not believe this to be the case. The LICENSE does not apply to or restrict the developer's use of the software, only the recipient. If the software has not been distributed then it cannot be considered free software. > Therefore, if one uses Guix to develop packages, it=E2=80=99s up to them = to > decide how they want to share their developments on free software. > However, we have the right to use these developments how we want =E2=80= =93 > limited by what the license allows. Guix is restricted by the GNU FSDG [https://www.gnu.org/distros/free-system-distribution-guidelines.html]. Are the third-party channels referenced above "committed to only including free software"? > All in all, I do not see the danger. :-) > > Cheers, > simon