|
| From: | Ludovic Courtès |
| Subject: | bug#43261: [PATCH v2 2/2] scripts: lint: Add '--exclude' option. |
| Date: | Fri, 30 Oct 2020 00:28:48 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
zimoun <zimon.toutoune@gmail.com> skribis: > * guix/scripts/lint.scm (%options, parse-options): Add '--exclude' option. > (option-checker): New helper function. > * doc/guix.texi (Invoking guix lint): Document it. Applied, thanks! Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |