diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-07-26 16:45:42 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-07-27 12:06:35 +0200 |
| commit | 9296a2e511311d23dc49c4e4b3cbb9341ea82bb3 (patch) | |
| tree | d389d808751ddf6c5eb7f4486f3b6d7abce49d74 /etc | |
| parent | 578a1d794b18ca4e67eaa4b85afab3f5a9a874c5 (diff) | |
processes: Allow 'less' to properly estimate line length.
Until now, the first few lines in the output of 'guix processes' could
disappear in 'less'.
* guix/ui.scm (call-with-paginated-output-port): Add #:less-options
parameter and honor it.
(with-paginated-output-port): Allow callers to pass #:less-options.
* guix/scripts/processes.scm (guix-processes): Pass #:less-options to
'with-paginated-output-port'.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions