From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id QOJrCHtMV1/4awAA0tVLHw (envelope-from ) for ; Tue, 08 Sep 2020 09:18:51 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id yEVNBHtMV18CXAAAB5/wlQ (envelope-from ) for ; Tue, 08 Sep 2020 09:18:51 +0000 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 328489402C8 for ; Tue, 8 Sep 2020 09:18:50 +0000 (UTC) Received: from localhost ([::1]:35574 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kFZm5-0006zd-5s for larch@yhetil.org; Tue, 08 Sep 2020 05:18:49 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45148) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFZlK-0005dP-7L for guix-patches@gnu.org; Tue, 08 Sep 2020 05:18:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40420) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kFZlJ-0000GV-Sl for guix-patches@gnu.org; Tue, 08 Sep 2020 05:18:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kFZlJ-0005XA-OR for guix-patches@gnu.org; Tue, 08 Sep 2020 05:18:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#43261] [PATCH 0/2] lint: Fix 'no-network' and add 'no-checkers' options Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 08 Sep 2020 09:18:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 43261 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Efraim Flashner Cc: 43261@debbugs.gnu.org Received: via spool by 43261-submit@debbugs.gnu.org id=B43261.159955663321209 (code B ref 43261); Tue, 08 Sep 2020 09:18:01 +0000 Received: (at 43261) by debbugs.gnu.org; 8 Sep 2020 09:17:13 +0000 Received: from localhost ([127.0.0.1]:51966 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFZkW-0005W1-QY for submit@debbugs.gnu.org; Tue, 08 Sep 2020 05:17:12 -0400 Received: from mail-qv1-f65.google.com ([209.85.219.65]:46392) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFZkW-0005Vp-12 for 43261@debbugs.gnu.org; Tue, 08 Sep 2020 05:17:12 -0400 Received: by mail-qv1-f65.google.com with SMTP id di5so7404196qvb.13 for <43261@debbugs.gnu.org>; Tue, 08 Sep 2020 02:17:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=exGgAad0iw2ekmdBJnCP6C91XqJv6Ym3deM3O3QnFkk=; b=jpZLi5fbIgWoCCc9Yl7S9NKZZ9yRirKRjVDKuCHp4U7+Ag83LWGLCp7EdpNeG8v8Vp fMJGOhNAyYMdYbVPDSUT2BcZKXVGB3ArFnilf19Dxlp48yuqShGZYc6/YR45YzAmD13Q u2ZCnj6ydD2Iir0Qt3IF9CT6z+xNIXnjjguHIaiiQSbkD6Cf4387BdrSEerP2iOj6mps /GfqdJS9RBM0xqaQczfkye7sbhjBvp7QCueTjJz9gPVd7EcMEYo1hwIZWCt0i3VlxGFJ +UZ3uUI7KdvR1MnMlFZvIJThDNwiX08xtUSHrs1v1g4+CTv1NOUlvx67tZCnTFOfD0Zw GtXw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=exGgAad0iw2ekmdBJnCP6C91XqJv6Ym3deM3O3QnFkk=; b=AuPMl+v5IObnK2DNvniV+rw+2RPnrsbtKn2GltA+/VaKLZwzMQFwsEURNDPn+gPIK/ YBTFLxAjBlUcIUJIcGtcybflg0Sne1cWXmzPPIfoeIla3fo1ssNrunvtWfmFvkWMSQzQ ENTaN2ewMnjWFpgaloAivtT6zvpT52tib3psa3wSb2HxeNud/yfDPqamRBgeNdCL1rZ1 pQwISiGBa5VECucBPWewCDAurjx9Nf6ibikO+v5l9xLGna7Q3o7dqshOhXd6ZfhMC4Rz Ay3JEr7n0FiOj3QjNG+F+qxjUh2NqRcYO7PuxntHAs3XRA5Zj15aZc18o9F3Vqv6Ujur 8wOA== X-Gm-Message-State: AOAM530elULfv9q8czNDJ/cV4KqDkdFCgppQ2LaF2yoWzdQRQuH/rNfx vO/ve6t/IBiWT020WgrB3Yi5Dg1Jyj/NcDA/XY2wwCh/ X-Google-Smtp-Source: ABdhPJwcnUbe6YBNV1s0lmGKYEbdkSRw3PrC2dQdNOu9OS8zryAe6O7PaBkKPbf2kk691Fu2/xpy6om4TbVYDY+6Xcw= X-Received: by 2002:a0c:cc13:: with SMTP id r19mr12977623qvk.15.1599556626547; Tue, 08 Sep 2020 02:17:06 -0700 (PDT) MIME-Version: 1.0 References: <20200907180229.29475-1-zimon.toutoune@gmail.com> <20200908075636.GF1643@E5400> In-Reply-To: <20200908075636.GF1643@E5400> From: zimoun Date: Tue, 8 Sep 2020 11:16:55 +0200 Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) 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" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=jpZLi5fb; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: 0.09 X-TUID: 1IPpzF3eOOuc HI Efraim, Thank you for the feedback. On Tue, 8 Sep 2020 at 09:57, Efraim Flashner wrote: > I was going to say I didn't like the '-n' flag but I see it's already > there, just not documented in the help message. Me neither. Since it is still undocumented, maybe we could change the short name. Well, I do not have a strong opinion. > > The second patch adds the '--no-checkers' option discussed some time ago. I > > am not convinced by the 'option-checker' helper function. What could be > > better? > > > > Instead of '--no-checkers' maybe '--exclude-checkers' is a better name. > > how about '--skip' With the short name '-s' or still '-x' ? Cheers, simon