diff options
author | zimoun <zimon.toutoune@gmail.com> | 2020-10-28 17:51:12 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-30 01:14:20 +0100 |
commit | 58db2e6877e68442a72d88bced5a0193001be290 (patch) | |
tree | 8b2a292926f6b61ef5e43dcbfa3d4165459bc672 /gnu/system/examples/desktop.tmpl | |
parent | 80c7f02468c16778b5f08844546193a4243a7dae (diff) | |
download | guix-patches-58db2e6877e68442a72d88bced5a0193001be290.tar guix-patches-58db2e6877e68442a72d88bced5a0193001be290.tar.gz |
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 'gnu/system/examples/desktop.tmpl')
0 files changed, 0 insertions, 0 deletions