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 | |
| parent | 80ec1b73d2ca9745ea3b056bbfcecf3c33a4de5f (diff) | |
| download | gnu-guix-15cc7e6adfa503a1cf168d19a952fae02f91ab2d.tar gnu-guix-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')
0 files changed, 0 insertions, 0 deletions