diff options
author | zimoun <zimon.toutoune@gmail.com> | 2020-10-28 17:51:11 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-30 01:14:20 +0100 |
commit | 80c7f02468c16778b5f08844546193a4243a7dae (patch) | |
tree | 2068afe53476a094d1e6fb15ce23d0a38678eeb5 /etc | |
parent | 61e839a9f9f7cc91982af696775c4f4ac72525f0 (diff) | |
download | guix-patches-80c7f02468c16778b5f08844546193a4243a7dae.tar guix-patches-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 'etc')
0 files changed, 0 insertions, 0 deletions