summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorzimoun <zimon.toutoune@gmail.com>2020-10-28 17:51:11 +0100
committerLudovic Courtès <ludo@gnu.org>2020-10-30 01:14:20 +0100
commit80c7f02468c16778b5f08844546193a4243a7dae (patch)
tree2068afe53476a094d1e6fb15ce23d0a38678eeb5 /doc
parent61e839a9f9f7cc91982af696775c4f4ac72525f0 (diff)
downloadguix-80c7f02468c16778b5f08844546193a4243a7dae.tar.gz
scripts: lint: Fix '--no-network' option.
* guix/scripts/lint.scm: (show-help): Add '--no-network' option message.
(%options, parse-options): Fix argument order.
* 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.texi4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index f2d34d1254..e3b92d86f9 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -11528,6 +11528,10 @@ and exit.
 Only enable 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.
+
 @item --load-path=@var{directory}
 @itemx -L @var{directory}
 Add @var{directory} to the front of the package module search path