[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Enable pager by default

From: Daniel Kiper
Subject: Re: [PATCH] Enable pager by default
Date: Mon, 21 Oct 2019 16:56:19 +0200
User-agent: NeoMutt/20170113 (1.7.2)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]