purescript-docs-search icon indicating copy to clipboard operation
purescript-docs-search copied to clipboard

Use pager in CLI

Open klntsky opened this issue 5 years ago • 0 comments

Currently, we are printing the results reversed, so that the most relevant ones appear last. That makes sense, because that way there's no need to scroll. However, using $PAGER when available might be a better option.

klntsky avatar Aug 07 '20 06:08 klntsky