diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-04-27 23:24:55 +0200 |
---|---|---|
committer | Guix Patches Tester <> | 2020-04-27 22:27:11 +0100 |
commit | 35cd17eaf85cce47d64f0ce322f91ea88e85ba93 (patch) | |
tree | 23270413a79cf0fdc49f522fadb0f7e7710da28b /THANKS | |
parent | 78799a6fdc5a00b3a0e62c0e99c3340298d36eff (diff) | |
download | patches-series-3701.tar patches-series-3701.tar.gz |
‘guix search’ and $PAGERseries-3701
Hello Guix!
There seems to be consensus on getting ‘guix search’ to automatically
invoke $PAGER (I don’t think there’s a bug report, though).
Below is a first stab at it that’s (almost) functional but raises
questions:
1. This patch arranges to invoke the pager only if we output a
screenful of text. However, that means that the
‘supports-hyperlinks?’ call is passed the wrong port, typically the
actual stdout (a terminal) instead of the pager. Pagers typically
don’t support hyperlinks, it seems.
Is there another way to do that? Should we just invoke the pager
unconditionally?
2. What if ‘less’ or $PAGER doesn’t exists or exits with non-zero?
What do others do?
Feedback & alternative patches more than welcome!
Ludo’.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions