Re: [PATCH] Enable pager by default

[Daniel Kiper]

On Fri, Oct 18, 2019 at 02:43:18PM +0200, Javier Martinez Canillas wrote:
> From: Peter Jones <address@hidden>
>
> When user enters into the GRUB shell and tries to use help command, lot of
> information is scrolled out of screen and the user doesn't have chance to
> read it. Also, there isn't any information about 'set pager=1' at the end
> of the help output, to tell the user how scrolling could be enabled.
>
> So just enable pager by default which leads to a much better experience.

Hmmm... What will happen if a command produce tons of output during boot
process? I am afraid that it will hang indefinitely waiting for an user
input. This should not happen. So, I tend to agree that current help
command behavior is annoying but I do not like the solution.

Daniel