17a7b75c0f
* guix/scripts/lint.scm (validate-uri?): New procedure. (%checkers): Add 'source' checker
536 lines
20 KiB
Scheme
536 lines
20 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2014 Cyril Roelandt <tipecaml@gmail.com>
|
||
;;; Copyright © 2014 Eric Bavier <bavier@member.fsf.org>
|
||
;;; Copyright © 2013, 2014 Ludovic Courtès <ludo@gnu.org>
|
||
;;;
|
||
;;; This file is part of GNU Guix.
|
||
;;;
|
||
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||
;;; under the terms of the GNU General Public License as published by
|
||
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||
;;; your option) any later version.
|
||
;;;
|
||
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;;; GNU General Public License for more details.
|
||
;;;
|
||
;;; You should have received a copy of the GNU General Public License
|
||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
(define-module (guix scripts lint)
|
||
#:use-module (guix base32)
|
||
#:use-module (guix download)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix records)
|
||
#:use-module (guix ui)
|
||
#:use-module (guix utils)
|
||
#:use-module (guix gnu-maintenance)
|
||
#:use-module (gnu packages)
|
||
#:use-module (ice-9 match)
|
||
#:use-module (ice-9 regex)
|
||
#:use-module (ice-9 format)
|
||
#:use-module (web uri)
|
||
#:use-module ((guix build download)
|
||
#:select (maybe-expand-mirrors
|
||
open-connection-for-uri))
|
||
#:use-module (web request)
|
||
#:use-module (web response)
|
||
#:use-module (srfi srfi-1)
|
||
#:use-module (srfi srfi-9)
|
||
#:use-module (srfi srfi-11)
|
||
#:use-module (srfi srfi-26)
|
||
#:use-module (srfi srfi-37)
|
||
#:export (guix-lint
|
||
check-description-style
|
||
check-inputs-should-be-native
|
||
check-patches
|
||
check-synopsis-style
|
||
check-home-page))
|
||
|
||
|
||
;;;
|
||
;;; Helpers
|
||
;;;
|
||
(define* (emit-warning package message #:optional field)
|
||
;; Emit a warning about PACKAGE, printing the location of FIELD if it is
|
||
;; given, the location of PACKAGE otherwise, the full name of PACKAGE and the
|
||
;; provided MESSAGE.
|
||
(let ((loc (or (package-field-location package field)
|
||
(package-location package))))
|
||
(format (guix-warning-port) "~a: ~a: ~a~%"
|
||
(location->string loc)
|
||
(package-full-name package)
|
||
message)))
|
||
|
||
|
||
;;;
|
||
;;; Checkers
|
||
;;;
|
||
(define-record-type* <lint-checker>
|
||
lint-checker make-lint-checker
|
||
lint-checker?
|
||
;; TODO: add a 'certainty' field that shows how confident we are in the
|
||
;; checker. Then allow users to only run checkers that have a certain
|
||
;; 'certainty' level.
|
||
(name lint-checker-name)
|
||
(description lint-checker-description)
|
||
(check lint-checker-check))
|
||
|
||
(define (list-checkers-and-exit)
|
||
;; Print information about all available checkers and exit.
|
||
(format #t (_ "Available checkers:~%"))
|
||
(for-each (lambda (checker)
|
||
(format #t "- ~a: ~a~%"
|
||
(lint-checker-name checker)
|
||
(_ (lint-checker-description checker))))
|
||
%checkers)
|
||
(exit 0))
|
||
|
||
(define (properly-starts-sentence? s)
|
||
(string-match "^[(\"'[:upper:][:digit:]]" s))
|
||
|
||
(define (starts-with-abbreviation? s)
|
||
"Return #t if S starts with what looks like an abbreviation or acronym."
|
||
(string-match "^[A-Z][A-Z0-9]+\\>" s))
|
||
|
||
(define (check-description-style package)
|
||
;; Emit a warning if stylistic issues are found in the description of PACKAGE.
|
||
(define (check-not-empty description)
|
||
(when (string-null? description)
|
||
(emit-warning package
|
||
(_ "description should not be empty")
|
||
'description)))
|
||
|
||
(define (check-proper-start description)
|
||
(unless (or (properly-starts-sentence? description)
|
||
(string-prefix-ci? (package-name package) description))
|
||
(emit-warning package
|
||
(_ "description should start with an upper-case letter or digit")
|
||
'description)))
|
||
|
||
(define (check-end-of-sentence-space description)
|
||
"Check that an end-of-sentence period is followed by two spaces."
|
||
(let ((infractions
|
||
(reverse (fold-matches
|
||
"\\. [A-Z]" description '()
|
||
(lambda (m r)
|
||
;; Filter out matches of common abbreviations.
|
||
(if (find (lambda (s)
|
||
(string-suffix-ci? s (match:prefix m)))
|
||
'("i.e" "e.g" "a.k.a" "resp"))
|
||
r (cons (match:start m) r)))))))
|
||
(unless (null? infractions)
|
||
(emit-warning package
|
||
(format #f (_ "sentences in description should be followed ~
|
||
by two spaces; possible infraction~p at ~{~a~^, ~}")
|
||
(length infractions)
|
||
infractions)
|
||
'description))))
|
||
|
||
(let ((description (package-description package)))
|
||
(when (string? description)
|
||
(check-not-empty description)
|
||
(check-proper-start description)
|
||
(check-end-of-sentence-space description))))
|
||
|
||
(define (check-inputs-should-be-native package)
|
||
;; Emit a warning if some inputs of PACKAGE are likely to belong to its
|
||
;; native inputs.
|
||
(let ((inputs (package-inputs package)))
|
||
(match inputs
|
||
(((labels packages . _) ...)
|
||
(when (member "pkg-config"
|
||
(map package-name (filter package? packages)))
|
||
(emit-warning package
|
||
(_ "pkg-config should probably be a native input")
|
||
'inputs))))))
|
||
|
||
(define (package-name-regexp package)
|
||
"Return a regexp that matches PACKAGE's name as a word at the beginning of a
|
||
line."
|
||
(make-regexp (string-append "^" (regexp-quote (package-name package))
|
||
"\\>")
|
||
regexp/icase))
|
||
|
||
(define (check-synopsis-style package)
|
||
;; Emit a warning if stylistic issues are found in the synopsis of PACKAGE.
|
||
(define (check-not-empty synopsis)
|
||
(when (string-null? synopsis)
|
||
(emit-warning package
|
||
(_ "synopsis should not be empty")
|
||
'synopsis)))
|
||
|
||
(define (check-final-period synopsis)
|
||
;; Synopsis should not end with a period, except for some special cases.
|
||
(when (and (string-suffix? "." synopsis)
|
||
(not (string-suffix? "etc." synopsis)))
|
||
(emit-warning package
|
||
(_ "no period allowed at the end of the synopsis")
|
||
'synopsis)))
|
||
|
||
(define check-start-article
|
||
;; Skip this check for GNU packages, as suggested by Karl Berry's reply to
|
||
;; <http://lists.gnu.org/archive/html/bug-womb/2014-11/msg00000.html>.
|
||
(if (false-if-exception (gnu-package? package))
|
||
(const #t)
|
||
(lambda (synopsis)
|
||
(when (or (string-prefix-ci? "A " synopsis)
|
||
(string-prefix-ci? "An " synopsis))
|
||
(emit-warning package
|
||
(_ "no article allowed at the beginning of \
|
||
the synopsis")
|
||
'synopsis)))))
|
||
|
||
(define (check-synopsis-length synopsis)
|
||
(when (>= (string-length synopsis) 80)
|
||
(emit-warning package
|
||
(_ "synopsis should be less than 80 characters long")
|
||
'synopsis)))
|
||
|
||
(define (check-proper-start synopsis)
|
||
(unless (properly-starts-sentence? synopsis)
|
||
(emit-warning package
|
||
(_ "synopsis should start with an upper-case letter or digit")
|
||
'synopsis)))
|
||
|
||
(define (check-start-with-package-name synopsis)
|
||
(when (and (regexp-exec (package-name-regexp package) synopsis)
|
||
(not (starts-with-abbreviation? synopsis)))
|
||
(emit-warning package
|
||
(_ "synopsis should not start with the package name")
|
||
'synopsis)))
|
||
|
||
(let ((synopsis (package-synopsis package)))
|
||
(when (string? synopsis)
|
||
(check-not-empty synopsis)
|
||
(check-proper-start synopsis)
|
||
(check-final-period synopsis)
|
||
(check-start-article synopsis)
|
||
(check-start-with-package-name synopsis)
|
||
(check-synopsis-length synopsis))))
|
||
|
||
(define (probe-uri uri)
|
||
"Probe URI, a URI object, and return two values: a symbol denoting the
|
||
probing status, such as 'http-response' when we managed to get an HTTP
|
||
response from URI, and additional details, such as the actual HTTP response."
|
||
(define headers
|
||
'((User-Agent . "GNU Guile")
|
||
(Accept . "*/*")))
|
||
|
||
(let loop ((uri uri)
|
||
(visited '()))
|
||
(match (uri-scheme uri)
|
||
((or 'http 'https)
|
||
(catch #t
|
||
(lambda ()
|
||
(let ((port (open-connection-for-uri uri))
|
||
(request (build-request uri #:headers headers)))
|
||
(define response
|
||
(dynamic-wind
|
||
(const #f)
|
||
(lambda ()
|
||
(write-request request port)
|
||
(force-output port)
|
||
(read-response port))
|
||
(lambda ()
|
||
(close port))))
|
||
|
||
(case (response-code response)
|
||
((301 302 307)
|
||
(let ((location (response-location response)))
|
||
(if (or (not location) (member location visited))
|
||
(values 'http-response response)
|
||
(loop location (cons location visited))))) ;follow the redirect
|
||
(else
|
||
(values 'http-response response)))))
|
||
(lambda (key . args)
|
||
(case key
|
||
((bad-header bad-header-component)
|
||
;; This can happen if the server returns an invalid HTTP header,
|
||
;; as is the case with the 'Date' header at sqlite.org.
|
||
(values 'invalid-http-response #f))
|
||
((getaddrinfo-error system-error gnutls-error)
|
||
(values key args))
|
||
(else
|
||
(apply throw key args))))))
|
||
(_
|
||
(values 'not-http #f)))))
|
||
|
||
(define (validate-uri uri package field)
|
||
"Return #t if the given URI can be reached, otherwise emit a
|
||
warning for PACKAGE mentionning the FIELD."
|
||
(let-values (((status argument)
|
||
(probe-uri uri)))
|
||
(case status
|
||
((http-response)
|
||
(unless (= 200 (response-code argument))
|
||
(emit-warning package
|
||
(format #f
|
||
(_ "URI ~a not reachable: ~a (~s)")
|
||
(uri->string uri)
|
||
(response-code argument)
|
||
(response-reason-phrase argument))
|
||
field)))
|
||
((getaddrinfo-error)
|
||
(emit-warning package
|
||
(format #f
|
||
(_ "URI ~a domain not found: ~a")
|
||
(uri->string uri)
|
||
(gai-strerror (car argument)))
|
||
field))
|
||
((system-error)
|
||
(emit-warning package
|
||
(format #f
|
||
(_ "URI ~a unreachable: ~a")
|
||
(uri->string uri)
|
||
(strerror
|
||
(system-error-errno
|
||
(cons status argument))))
|
||
field))
|
||
((invalid-http-response gnutls-error)
|
||
;; Probably a misbehaving server; ignore.
|
||
#f)
|
||
((not-http) ;nothing we can do
|
||
#f)
|
||
(else
|
||
(error "internal linter error" status)))
|
||
#t))
|
||
|
||
(define (check-home-page package)
|
||
"Emit a warning if PACKAGE has an invalid 'home-page' field, or if that
|
||
'home-page' is not reachable."
|
||
(let ((uri (and=> (package-home-page package) string->uri)))
|
||
(cond
|
||
((uri? uri)
|
||
(validate-uri uri package 'home-page))
|
||
((not (package-home-page package))
|
||
(unless (or (string-contains (package-name package) "bootstrap")
|
||
(string=? (package-name package) "ld-wrapper"))
|
||
(emit-warning package
|
||
(_ "invalid value for home page")
|
||
'home-page)))
|
||
(else
|
||
(emit-warning package (format #f (_ "invalid home page URL: ~s")
|
||
(package-home-page package))
|
||
'home-page)))))
|
||
|
||
(define (check-patches package)
|
||
;; Emit a warning if the patches requires by PACKAGE are badly named.
|
||
(let ((patches (and=> (package-source package) origin-patches))
|
||
(name (package-name package))
|
||
(full-name (package-full-name package)))
|
||
(when (and patches
|
||
(any (match-lambda
|
||
((? string? patch)
|
||
(let ((filename (basename patch)))
|
||
(not (or (eq? (string-contains filename name) 0)
|
||
(eq? (string-contains filename full-name)
|
||
0)))))
|
||
(_
|
||
;; This must be an <origin> or something like that.
|
||
#f))
|
||
patches))
|
||
(emit-warning package
|
||
(_ "file names of patches should start with \
|
||
the package name")
|
||
'patches))))
|
||
|
||
(define (escape-quotes str)
|
||
"Replace any quote character in STR by an escaped quote character."
|
||
(list->string
|
||
(string-fold-right (lambda (chr result)
|
||
(match chr
|
||
(#\" (cons* #\\ #\"result))
|
||
(_ (cons chr result))))
|
||
'()
|
||
str)))
|
||
|
||
(define official-gnu-packages*
|
||
(memoize
|
||
(lambda ()
|
||
"A memoizing version of 'official-gnu-packages' that returns the empty
|
||
list when something goes wrong, such as a networking issue."
|
||
(let ((gnus (false-if-exception (official-gnu-packages))))
|
||
(or gnus '())))))
|
||
|
||
(define (check-gnu-synopsis+description package)
|
||
"Make sure that, if PACKAGE is a GNU package, it uses the synopsis and
|
||
descriptions maintained upstream."
|
||
(match (find (lambda (descriptor)
|
||
(string=? (gnu-package-name descriptor)
|
||
(package-name package)))
|
||
(official-gnu-packages*))
|
||
(#f ;not a GNU package, so nothing to do
|
||
#t)
|
||
(descriptor ;a genuine GNU package
|
||
(let ((upstream (gnu-package-doc-summary descriptor))
|
||
(downstream (package-synopsis package))
|
||
(loc (or (package-field-location package 'synopsis)
|
||
(package-location package))))
|
||
(unless (and upstream (string=? upstream downstream))
|
||
(format (guix-warning-port)
|
||
(_ "~a: ~a: proposed synopsis: ~s~%")
|
||
(location->string loc) (package-full-name package)
|
||
upstream)))
|
||
|
||
(let ((upstream (gnu-package-doc-description descriptor))
|
||
(downstream (package-description package))
|
||
(loc (or (package-field-location package 'description)
|
||
(package-location package))))
|
||
(when (and upstream
|
||
(not (string=? (fill-paragraph upstream 100)
|
||
(fill-paragraph downstream 100))))
|
||
(format (guix-warning-port)
|
||
(_ "~a: ~a: proposed description:~% \"~a\"~%")
|
||
(location->string loc) (package-full-name package)
|
||
(fill-paragraph (escape-quotes upstream) 77 7)))))))
|
||
|
||
(define (check-source package)
|
||
"Emit a warning if PACKAGE has an invalid 'source' field, or if that
|
||
'source' is not reachable."
|
||
(let ((origin (package-source package)))
|
||
(when (and origin
|
||
(eqv? (origin-method origin) url-fetch))
|
||
(let* ((strings (origin-uri origin))
|
||
(uris (if (list? strings)
|
||
(map string->uri strings)
|
||
(list (string->uri strings)))))
|
||
(for-each
|
||
(cut validate-uri <> package 'source)
|
||
(append-map (cut maybe-expand-mirrors <> %mirrors) uris))))))
|
||
|
||
|
||
|
||
;;;
|
||
;;; List of checkers.
|
||
;;;
|
||
|
||
(define %checkers
|
||
(list
|
||
(lint-checker
|
||
(name 'description)
|
||
(description "Validate package descriptions")
|
||
(check check-description-style))
|
||
(lint-checker
|
||
(name 'gnu-description)
|
||
(description "Validate synopsis & description of GNU packages")
|
||
(check check-gnu-synopsis+description))
|
||
(lint-checker
|
||
(name 'inputs-should-be-native)
|
||
(description "Identify inputs that should be native inputs")
|
||
(check check-inputs-should-be-native))
|
||
(lint-checker
|
||
(name 'patch-filenames)
|
||
(description "Validate file names of patches")
|
||
(check check-patches))
|
||
(lint-checker
|
||
(name 'home-page)
|
||
(description "Validate home-page URLs")
|
||
(check check-home-page))
|
||
(lint-checker
|
||
(name 'source)
|
||
(description "Validate source URLs")
|
||
(check check-source))
|
||
(lint-checker
|
||
(name 'synopsis)
|
||
(description "Validate package synopses")
|
||
(check check-synopsis-style))))
|
||
|
||
(define (run-checkers package checkers)
|
||
;; Run the given CHECKERS on PACKAGE.
|
||
(let ((tty? (isatty? (current-error-port)))
|
||
(name (package-full-name package)))
|
||
(for-each (lambda (checker)
|
||
(when tty?
|
||
(format (current-error-port) "checking ~a [~a]...\r"
|
||
name (lint-checker-name checker))
|
||
(force-output (current-error-port)))
|
||
((lint-checker-check checker) package))
|
||
checkers)))
|
||
|
||
|
||
;;;
|
||
;;; Command-line options.
|
||
;;;
|
||
|
||
(define %default-options
|
||
;; Alist of default option values.
|
||
'())
|
||
|
||
(define (show-help)
|
||
(display (_ "Usage: guix lint [OPTION]... [PACKAGE]...
|
||
Run a set of checkers on the specified package; if none is specified, run the checkers on all packages.\n"))
|
||
(display (_ "
|
||
-c, --checkers=CHECKER1,CHECKER2...
|
||
only run the specificed checkers"))
|
||
(display (_ "
|
||
-h, --help display this help and exit"))
|
||
(display (_ "
|
||
-l, --list-checkers display the list of available lint checkers"))
|
||
(display (_ "
|
||
-V, --version display version information and exit"))
|
||
(newline)
|
||
(show-bug-report-information))
|
||
|
||
|
||
(define %options
|
||
;; Specification of the command-line options.
|
||
;; TODO: add some options:
|
||
;; * --certainty=[low,medium,high]: only run checkers that have at least this
|
||
;; 'certainty'.
|
||
(list (option '(#\c "checkers") #t #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(let ((names (map string->symbol (string-split arg #\,))))
|
||
(for-each (lambda (c)
|
||
(unless (memq c
|
||
(map lint-checker-name
|
||
%checkers))
|
||
(leave (_ "~a: invalid checker~%") c)))
|
||
names)
|
||
(values (alist-cons 'checkers
|
||
(filter (lambda (checker)
|
||
(member (lint-checker-name checker)
|
||
names))
|
||
%checkers)
|
||
result)
|
||
#f))))
|
||
(option '(#\h "help") #f #f
|
||
(lambda args
|
||
(show-help)
|
||
(exit 0)))
|
||
(option '(#\l "list-checkers") #f #f
|
||
(lambda args
|
||
(list-checkers-and-exit)))
|
||
(option '(#\V "version") #f #f
|
||
(lambda args
|
||
(show-version-and-exit "guix lint")))))
|
||
|
||
|
||
;;;
|
||
;;; Entry Point
|
||
;;;
|
||
|
||
(define (guix-lint . args)
|
||
(define (parse-options)
|
||
;; Return the alist of option values.
|
||
(args-fold* args %options
|
||
(lambda (opt name arg result arg-handler)
|
||
(leave (_ "~A: unrecognized option~%") name))
|
||
(lambda (arg result arg-handler)
|
||
(alist-cons 'argument arg result))
|
||
%default-options #f))
|
||
|
||
(let* ((opts (parse-options))
|
||
(args (filter-map (match-lambda
|
||
(('argument . value)
|
||
value)
|
||
(_ #f))
|
||
(reverse opts)))
|
||
(checkers (or (assoc-ref opts 'checkers) %checkers)))
|
||
(if (null? args)
|
||
(fold-packages (lambda (p r) (run-checkers p checkers)) '())
|
||
(for-each (lambda (spec)
|
||
(run-checkers (specification->package spec) checkers))
|
||
args))))
|