GNU bug report logs - #59078
[PATCH] lint: Split the derivation lint checker by system.

Previous Next

Full log

Message #32 received at 59078 <at> debbugs.gnu.org (full text, mbox):

From: Simon Tournier <zimon.toutoune <at> gmail.com>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Christopher Baines <mail <at> cbaines.net>, 59078 <at> debbugs.gnu.org
Subject: Re: bug#59078: [PATCH] lint: Split the derivation lint checker by
 system.
Date: Fri, 27 Jan 2023 18:48:19 +0100

Hi,

On mar., 15 nov. 2022 at 10:03, zimoun <zimon.toutoune <at> gmail.com> wrote:
> On Mon, 14 Nov 2022 at 13:51, Ludovic Courtès <ludo <at> gnu.org> wrote:
>
>> I meant that it’s important to have a single ‘derivation’ checker that
>> checks derivations for all the supported systems.  Packagers should be
>> able to run ‘guix lint -c derivation PKG’ and be confident that it’s
>> fine for all systems.
>
> The CLI invokation is unrelated to the invoked checkers, no?  As Chris
> is proposing, it seems being worth to group some checkers.  For
> instance, we already have the option ’-n, --no-network’ which does that
> but probably at the wrong level.
>
> Maybe we could have another command line option,
>
>     guix lint --group=no-network
>     guix lint --group=derivation
>     guix lint --group=no-network,derivation

What about this?


Cheers,
simon

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.