diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-06-28 22:36:43 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-28 23:26:53 +0200 |
| commit | 1acc5e11beb1b8eea9fe931455bf2c9a26a69aa3 (patch) | |
| tree | 4a40b1f01cbfc42669872c10af89ee2bebb77efa /guix/channels.scm | |
| parent | e1f2f3df84ecdff2b0f67d49ecb667d8c4a1ee26 (diff) | |
| download | guix-patches-1acc5e11beb1b8eea9fe931455bf2c9a26a69aa3.tar guix-patches-1acc5e11beb1b8eea9fe931455bf2c9a26a69aa3.tar.gz | |
processes: Write to $PAGER.
* guix/ui.scm (with-paginated-output-port): Export.
* guix/scripts/processes.scm (guix-processes): Use it instead of writing
directly to (current-output-port).
Diffstat (limited to 'guix/channels.scm')
0 files changed, 0 insertions, 0 deletions