-
Notifications
You must be signed in to change notification settings - Fork 56
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Pager help pages broken when setting PAGER=less #167
Comments
I have to admit that with the age my patience with dealing with broken and undesigned systems is reaching zero. If someone is willing to sift through all these ruins, idiosyncrasies and duct tape to provide me with a clear spec of what needs to be done so that everything works correctly I'm happy to implement it. But I have neither the energy nor the envy to research it.
Well |
So 1de3611 does that, though I'm pretty sure I'm getting myself involved in more unpleasantness. Taking from my (sanely implemented via unix) pager abstraction here |
Good guess :)
|
Thanks! f239981 does what you suggest. |
I think this can be closed. I haven't tested again after the latest fix (I'm waiting for #166 before testing again), but I believe it should have solved the problem. |
This is a report that came from the Dune team. Recently Dune upgraded its vendored copy of
cmdliner
to 1.1.1, and users who setPAGER=less
(a usual setting) find that their help pages are broken (because color codes are not interpreted).However, I remembered that colors and paging work fine in
git
even when settingPAGER=less
. It turns out that what they do is to pass the-R
flag by setting theLESS
environment variable, which has the virtue of affecting not only theless
pager directly invoked bycmdliner
but also when it is invoked through thePAGER
variable.git/git@25fc178
I'm not sure how to set the environment variable without using
Unix
, though...The text was updated successfully, but these errors were encountered: