HCoop / jackhill / guix / guix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0dbed6) | patch
weather: Add '--display-missing'.
authorLudovic Courtès <ludo@gnu.org>
Thu, 12 Mar 2020 17:10:26 +0000 (18:10 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 12 Mar 2020 17:32:16 +0000 (18:32 +0100)
commit71bb485541328cdce214ada44be998570571bf36
tree33cd5f5e7ca628443d2bc0de44ae100d0aae3128tree | snapshot (tar.gz zip)
parente0dbed64c530916ab600f193f5f6f6ad6177f7b3commit | diff
weather: Add '--display-missing'.

* guix/scripts/weather.scm (report-server-coverage): Add
 #:display-missing? and honor it.
(show-help, %options): Add "--display-missing".
(guix-weather): Pass #:display-missing? to 'report-server-coverage'.
* doc/guix.texi (Invoking guix weather): Document it.
doc/guix.texi diff | blob | blame | history
guix/scripts/weather.scm diff | blob | blame | history
jackhill's copy of GNU Guix: https://guix.gnu.org/