diff options
author | Arun Isaac <arunisaac@systemreboot.net> | 2018-12-21 17:48:55 +0530 |
---|---|---|
committer | Arun Isaac <arunisaac@systemreboot.net> | 2018-12-24 08:15:17 +0530 |
commit | 0865d8a8f6c229fef5bcba647cc7b37c2f3d3dae (patch) | |
tree | 25d8096d41012cb8395a10eb72ead08cdc455f2f /doc | |
parent | 450226ebc1b2611ff62469d314e7ca2973bbf131 (diff) | |
download | patches-0865d8a8f6c229fef5bcba647cc7b37c2f3d3dae.tar patches-0865d8a8f6c229fef5bcba647cc7b37c2f3d3dae.tar.gz |
guix: lint: Check for source URIs redirecting to GitHub.
* guix/scripts/lint.scm (check-github-uri): New procedure.
(%checkers): Add it.
* doc/guix.texi (Invoking guix lint): Document it.
* tests/lint.scm ("github-url", "github-url: one suggestion"): New tests.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/guix.texi | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 33f5c63420..484a29f2e1 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -7660,12 +7660,14 @@ Identify inputs that should most likely be native inputs. @item source @itemx home-page @itemx mirror-url +@itemx github-url @itemx source-file-name Probe @code{home-page} and @code{source} URLs and report those that are -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}). +invalid. Suggest a @code{mirror://} URL when applicable. If the +@code{source} URL redirects to a GitHub URL, recommend usage of the GitHub +URL. 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}). @item cve @cindex security vulnerabilities |