[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: Tue, 22 Oct 2019 16:04:28 +0200
User-agent: NeoMutt/20170113 (1.7.2)

On Tue, Oct 22, 2019 at 10:30:20AM +0200, Javier Martinez Canillas wrote:
> Hello Daniel,
> On 10/21/19 4:56 PM, Daniel Kiper wrote:
> > 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.
> Ok. I'll then explore having a paginated output only for the help command
> instead of globally enabling it by default.

Great! Though I would think about something which can be used also in
other commands producing a lot of output. Maybe we should introduce "-p"
(pause) command line option for such commands. And I am not against
using existing code to do a pause. We just have to do it carefully.


reply via email to

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