[Top][All Lists]

[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: zimoun
Subject: [bug#43261] [PATCH 0/2] lint: Fix 'no-network' and add 'no-checkers' options
Date: Mon, 7 Sep 2020 20:02:29 +0200


The first patch fixes the unexpected behaviour of "guix lint":

  guix lint -c description -n
  guix lint -n -c description

Now, if '--no-network' and any checkers are provided using '--checkers' then
the ones requiring Internet access are turned off.

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

Instead of '--no-checkers' maybe '--exclude-checkers' is a better name.

Last, note that '--list-checkers' operates as a dry-run:

--8<---------------cut here---------------start------------->8---
./pre-inst-env guix lint -c description,formatting,synopsis -n -x description -l
Available checkers:
- formatting: Look for formatting issues in the source
--8<---------------cut here---------------end--------------->8---

All the best,

zimoun (2):
  lint: Fix '--no-network' option.
  lint: Add '--no-checkers' option.

 doc/guix.texi         |  9 +++++++
 guix/scripts/lint.scm | 55 +++++++++++++++++++++++++++----------------
 2 files changed, 44 insertions(+), 20 deletions(-)

base-commit: 89e1e4481382d18033a9773b90c09345fa33d6cb

reply via email to

[Prev in Thread] Current Thread [Next in Thread]