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/glob.scm | |
parent | b9df2e2b4d8a8efa5983aeb69a5ed394e7bcba60 (diff) | |
download | guix-patches-7ffcee1937671cbb318491076164fba4ef0b109c.tar guix-patches-7ffcee1937671cbb318491076164fba4ef0b109c.tar.gz |
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/glob.scm')
0 files changed, 0 insertions, 0 deletions