scripts: lint: Add --manifest option.

* guix/scrips/lint.scm (show-help): Describe option.
(%options): Add 'manifest'option.
(guix-lint): Run checkers on packages defined in manifest.
* doc/guix.texi (Invoking guix lint): Document option.
* tests/guix-lint.sh: Test option.  Normalize whitespace.
* guix/scripts/refresh.scm: Export packages-from-manifest.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Modified-by: Ludovic Courtès <ludo@gnu.org>
Merges: #10653

1 files changed, 10 insertions, 0 deletions

diff --git a/doc/guix.texi b/doc/guix.texi
index 73d616aa1b6..8f09adf9506 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -16927,6 +16927,12 @@ guix lint @var{options} @var{package}@dots{}
 @end example
 
 If no package is given on the command line, then all packages are checked.
+To check packages in a particular manifest, use:
+
+@example
+guix lint @var{options} --manifest=@var{file} @dots{}
+@end example
+
 To check packages in particular source files, the syntax is:
 
 @example
@@ -16961,6 +16967,10 @@ This is useful to unambiguously designate packages, as in this example:
 guix lint -c archival -e '(@@ (gnu packages guile) guile-3.0)'
 @end example
 
+@item --manifest=@var{file}
+@itemx -m @var{file}
+Run checkers on packages in manifest @var{file} (@pxref{Writing Manifests}).
+
 @item --no-network
 @itemx -n
 Only enable the checkers that do not depend on Internet access.