Userland: Add pager option to man and use less by default

This commit is contained in:
Peter Elliott 2021-07-06 01:43:17 -06:00 committed by Ali Mohammad Pur
commit 1ec061d666
Notes: sideshowbarker 2024-07-18 10:13:09 +09:00
2 changed files with 57 additions and 2 deletions

View file

@ -288,6 +288,8 @@ static String get_key_sequence()
int main(int argc, char** argv)
{
VERIFY(isatty(STDOUT_FILENO));
char const* filename = "-";
char const* prompt = "?f%f :.(line %l)?e (END):.";
bool dont_switch_buffer = false;