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 /gnu/system | |
| parent | e74f64b9e55cbc3052698830001238d2407fed19 (diff) | |
| download | guix-patches-fac46e3f5e55f9de6fa2ab8082bc418139590fc0.tar guix-patches-fac46e3f5e55f9de6fa2ab8082bc418139590fc0.tar.gz | |
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 'gnu/system')
0 files changed, 0 insertions, 0 deletions