[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.
Daniel
- [PATCH] Enable pager by default, Javier Martinez Canillas, 2019/10/18
- Re: [PATCH] Enable pager by default, Daniel Kiper, 2019/10/21
- Re: [PATCH] Enable pager by default, Javier Martinez Canillas, 2019/10/22
- Re: [PATCH] Enable pager by default, Javier Martinez Canillas, 2019/10/23
- Re: [PATCH] Enable pager by default, Daniel Kiper, 2019/10/24
- Re: [PATCH] Enable pager by default, Vladimir 'phcoder' Serbinenko, 2019/10/24
- Re: [PATCH] Enable pager by default, Javier Martinez Canillas, 2019/10/25
- Re: [PATCH] Enable pager by default, Daniel Kiper, 2019/10/30
- Re: [PATCH] Enable pager by default, adrian15 adrian15, 2019/10/30
- Re: [PATCH] Enable pager by default, Javier Martinez Canillas, 2019/10/30
- Re: [PATCH] Enable pager by default, Michael Chang, 2019/10/24