diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-11-19 18:06:46 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-11-19 18:44:53 +0100 |
commit | fac46e3f5e55f9de6fa2ab8082bc418139590fc0 (patch) | |
tree | dc7c03992475f5826a6fa948edf8705feff787d0 /doc/guix.texi | |
parent | e74f64b9e55cbc3052698830001238d2407fed19 (diff) |
lint: Add 'mirror-url' checker.
* guix/scripts/lint.scm (origin-uris): New procedure.
(check-source): Use it.
(check-mirror-url): New procedure.
(%checkers): Add 'mirror-url' checker.
* tests/lint.scm ("mirror-url")
("mirror-url: one suggestion"): New tests.
* doc/guix.texi (Invoking guix lint): Document it.
Diffstat (limited to 'doc/guix.texi')
-rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 0e70830d02..7352ea973f 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -5379,9 +5379,11 @@ Identify inputs that should most likely be native inputs. @item source @itemx home-page +@itemx mirror-url @itemx source-file-name Probe @code{home-page} and @code{source} URLs and report those that are -invalid. Check that the source file name is meaningful, e.g. is not +invalid. Suggest a @code{mirror://} URL when applicable. Check that +the source file name is meaningful, e.g. is not just a version number or ``git-checkout'', without a declared @code{file-name} (@pxref{origin Reference}). |