diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2018-09-04 17:32:27 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2018-09-09 23:18:21 +0200 |
commit | 15cc7e6adfa503a1cf168d19a952fae02f91ab2d (patch) | |
tree | d02b0b8681aca627a3fc494fd253e5a6465da7a7 /gnu/packages/patches | |
parent | 80ec1b73d2ca9745ea3b056bbfcecf3c33a4de5f (diff) | |
download | guix-patches-15cc7e6adfa503a1cf168d19a952fae02f91ab2d.tar guix-patches-15cc7e6adfa503a1cf168d19a952fae02f91ab2d.tar.gz |
ui: Add soft port for styling and filtering build output.
* guix/ui.scm (build-output-port): New procedure.
* guix/scripts/package.scm (%default-options): Print build trace.
(guix-package): Use build-output-port.
* guix/scripts/build.scm (guix-build): Use build-output-port.
Co-authored-by: Sahithi Yarlagadda <sahi@swecha.net>
Diffstat (limited to 'gnu/packages/patches')
0 files changed, 0 insertions, 0 deletions