diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-02-09 22:21:58 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-02-14 15:52:36 +0100 |
| commit | 7ffcee1937671cbb318491076164fba4ef0b109c (patch) | |
| tree | 7fd5cbed9afe3020a9fde1d6db80273302c0d8b8 /guix/repl.scm | |
| parent | b9df2e2b4d8a8efa5983aeb69a5ed394e7bcba60 (diff) | |
ui: 'with-paginated-output-port' gives access to the wrapped port.
* guix/ui.scm (pager-port-mapping): New variable.
(pager-wrapped-port): New procedure.
(call-with-paginated-output-port): Parameterize 'pager-port-mapping'.
Diffstat (limited to 'guix/repl.scm')
0 files changed, 0 insertions, 0 deletions