From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id uNF/D5mJBmMrRAAAbAwnHQ (envelope-from ) for ; Wed, 24 Aug 2022 22:27:05 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id aNReD5mJBmOMeAEAauVa8A (envelope-from ) for ; Wed, 24 Aug 2022 22:27:05 +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 DC9943E575 for ; Wed, 24 Aug 2022 22:27:04 +0200 (CEST) Received: from localhost ([::1]:40316 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oQwxs-0003V4-0V for larch@yhetil.org; Wed, 24 Aug 2022 16:27:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:39940) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oQwxd-0003RS-Ko for guix-devel@gnu.org; Wed, 24 Aug 2022 16:26:49 -0400 Received: from mail-wr1-x42d.google.com ([2a00:1450:4864:20::42d]:46706) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oQwxc-0006K5-1n for guix-devel@gnu.org; Wed, 24 Aug 2022 16:26:49 -0400 Received: by mail-wr1-x42d.google.com with SMTP id e20so21629021wri.13 for ; Wed, 24 Aug 2022 13:26:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:to:from:from:to:cc; bh=hr43UGNULDpfoDwh4dtCpAznF20pLAf+vX9z0kfAne8=; b=IXptYkoGBbRJB1uONFREongSorKFi4r9JwwCWieeeh3XA7sGzczdRh/iXEhXXZapJk Kj9RoBhwgFm96r8X9RdLJhSjCzEI41/in9gc/0bqZ/hJtWihPVWXvqQlfAYkL/0wlkVl Wa9p+z6NUv2vga/gba/3XJMvbDkfUKcMyKopcyh7+O/FX6yOc/ihiWF92WiOBOzx7vvm dgD+aQHGQcSEB5M+snoiFYlAbh2cPBxZT5eSluhYQNTSO7jRn9U7sGXo/poCNo0tyZc5 F284+5gj/Uu553hhOqsTS72OtND0HaKrNm4JLEOIllYfOUvfgXnqtElEexm7x3b0HVHp FmLQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:to:from:x-gm-message-state:from:to:cc; bh=hr43UGNULDpfoDwh4dtCpAznF20pLAf+vX9z0kfAne8=; b=Z+hDXmWjKhcT89PReaLAdztq60MhWzg8NvWtzcQr+CJBg8AHEvVJcbBewWlwyXhpwE 8yfoi8yWx8d7Q7Fy321nfrd5VVx1kFGsv/jbmqjUTemARVY0jscgehCqszzWak6zWi6C 8d56oFiEG0FuqWY8IIrLVyfGS803zQBqI85FdomL5fFBb3HgcBfHpaGz4oWZEbXtemL+ Z9oxL106qhzTKljbMIBGoZI0jqk1gRJH0VgcwWx1E5aE+LPccdDWV4EtTIBWMDRCR4aC xdkzuJXa4+Y9xgk0HTiShpyJ0unJ8m9TM3GV/CalvGt6LZ6anjQAxJdpUdyeRGxu5GHz a+sQ== X-Gm-Message-State: ACgBeo1eeZm/pWASSgrqsGLcsAUQvEVKX/6pQ3FrFlDB5C5fZWvXNHoy S0QW0EjwxAvYQLIK7CI4toIReKBbCgI= X-Google-Smtp-Source: AA6agR7ixNa4fE2scaVh+9+j5WEYnPoRj/jjz3AUoQCqGtUKZJ0hYle7IjfaDW7+qkiicusr6ontgg== X-Received: by 2002:adf:eb8e:0:b0:223:a1f6:26b2 with SMTP id t14-20020adfeb8e000000b00223a1f626b2mr457492wrn.216.1661372805790; Wed, 24 Aug 2022 13:26:45 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id m5-20020a05600c4f4500b003a64f684704sm3418527wmq.40.2022.08.24.13.26.44 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 24 Aug 2022 13:26:45 -0700 (PDT) From: zimoun To: Vagrant Cascadian , guix-devel@gnu.org Subject: Re: guix lint should support overrides In-Reply-To: <87wnaya9de.fsf@contorta> References: <87wnaya9de.fsf@contorta> Date: Wed, 24 Aug 2022 10:08:27 +0200 Message-ID: <87h722xdvo.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::42d; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42d.google.com X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_12_24=1.049, 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=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" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1661372825; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to: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=hr43UGNULDpfoDwh4dtCpAznF20pLAf+vX9z0kfAne8=; b=kCL+fynrQ/1tL5IZdRVTpJ09UTgLFulDwHw5S3D5/5E9h6jhyiEGvTusmv11VYQ7RDgf6b WHfLiuBWhNSVXjYXZqYXtgtwGEp06KFli+KaBlgqT7ipNuIFKR2O55FKhAwl86xernkTsu jt3c2m0RQyh4fGAIjGQTaXb8S9uLzMS7i0wkLh7DHshOY/pzobKOY8Rs97ShoXB6hid3qC zHyDpUjSY97p3Wjk2uY7ViTrm6LZ+bQwrQ8NcCvXBoaikbhbuO5pzhaIXTRxGgUc1zonbW 7+PCWKZ/TPUiyDpeduQ4FT0EM3PVr7dFCkgeCvvi9+KmFsg4O6GZxvEo/eUOsg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1661372825; a=rsa-sha256; cv=none; b=aOKYz68NdV+JmM4L5VxFVzbjfSFvGKFzfhxsKWVS1kuYVoA4iYgRH3JlWK+HrPg1CgkM1c h+PF9bYVVt/jZ+xD14c+TV0KtBrfKKQ+hpi6Lpu+20V2c2MCH/oz4YvFdlo/G5d+UVSqtd UK6EXSDJTcmf8yw9BN6ck0KkhpqJyEU+ziCBbIualJ59QrtuEfjxaQtiJ79bNSfJNcn8ZW RMLmWMt1EHLK3lwzoutWKhGviLva9K9l9NnAudrqw1RxkBNovqwUT0AYS0v33dXYjMXnrq EBiLbmyxo2qalTS08GpQ8ueK2kJfCzC/YLCJkovEucF4TPkmQsT+Pd1wECi00A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=IXptYkoG; dmarc=pass (policy=none) header.from=gmail.com; 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: -3.81 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=IXptYkoG; dmarc=pass (policy=none) header.from=gmail.com; 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: DC9943E575 X-Spam-Score: -3.81 X-Migadu-Scanner: scn1.migadu.com X-TUID: q9TbMpcU2KIT Hi Vagrant, On Tue, 23 Aug 2022 at 15:22, Vagrant Cascadian wrote: > But, because there is no way to silence a particular inappropriate > suggestion from guix lint, it becomes noise, and each person evaluating > the results of the package in the future then needs to take time to > figure out if guix lint is wrong, or something should be changed. Do you have some packages as example? In order to be concrete about the false-positive and how to programatically fix them. For instance, do you mean exclude on specific checker for one specific package? Or teach one specific checker for one specific package in order to avoid an error specific to this package running this specific checker? > The downside is this becomes one more thing to maintain... in exchange > for making the output having a higher degree of relevency in "guix lint" > output, so you can be more confident that someone hasn't already looked > at a given issue and decided it was best to just ignore it (not that > that will not ever happen anymore, but still). The cost for a poor maintenance is low compared to the benefit, IMHO. For instance, it is boring to run massive lint: 1. because =E2=80=9Cguix lint=E2=80=9D does not support the option --manif= est 2. because =E2=80=9Cguix lint=E2=80=9D reports some false-positive messages Cheers, simon