[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#43261] [PATCH 0/2] lint: Fix 'no-network' and add 'no-checkers' opt
From: |
Ludovic Courtès |
Subject: |
[bug#43261] [PATCH 0/2] lint: Fix 'no-network' and add 'no-checkers' options |
Date: |
Wed, 28 Oct 2020 16:13:59 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Hi,
Efraim Flashner <efraim@flashner.co.il> skribis:
> On Mon, Sep 07, 2020 at 08:02:29PM +0200, zimoun wrote:
[...]
>> 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'
I’d suggest ‘--exclude’ + ‘-x’, which is similar to what ‘guix hash’
does for instance.
Ludo’.