diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-06-03 22:58:36 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-06-03 23:18:47 +0200 |
commit | 1b5ee3bdaacf665ad1e7c6142122389fd7033ea2 (patch) | |
tree | f93c155880b48488c1d68df602cf10ec1fa82dbc /.gitignore | |
parent | ee2691fa33f117bcf51b148b81bb8bc4e7b13a58 (diff) | |
download | guix-patches-1b5ee3bdaacf665ad1e7c6142122389fd7033ea2.tar guix-patches-1b5ee3bdaacf665ad1e7c6142122389fd7033ea2.tar.gz |
Add (guix diagnostics).
* guix/ui.scm (warning, info, report-error, leave)
(location->string, guix-warning-port, program-name)
(highlight-argument, %highlight-argument, define-diagnostic)
(%warning-color, %info-color, %error-color)
(print-diagnostic-prefix): Move to...
* guix/diagnostics.scm: ... here. New file.
* Makefile.am (MODULES): Add it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions