summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorzimoun <zimon.toutoune@gmail.com>2020-10-28 17:51:12 +0100
committerLudovic Courtès <ludo@gnu.org>2020-10-30 01:14:20 +0100
commit58db2e6877e68442a72d88bced5a0193001be290 (patch)
tree8b2a292926f6b61ef5e43dcbfa3d4165459bc672 /doc
parent80c7f02468c16778b5f08844546193a4243a7dae (diff)
scripts: lint: Add '--exclude' option.
* guix/scripts/lint.scm (%options, parse-options): Add '--exclude' option. (option-checker): New helper function. * doc/guix.texi (Invoking guix lint): Document it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index e3b92d86f9..eddf77c7ab 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -11528,6 +11528,11 @@ and exit.
Only enable the checkers specified in a comma-separated list using the
names returned by @option{--list-checkers}.
+@item --exclude
+@itemx -x
+Only disable the checkers specified in a comma-separated list using the
+names returned by @option{--list-checkers}.
+
@item --no-network
@itemx -n
Only enable the checkers that do not depend on Internet access.