grub-devel
[Top][All Lists]
Advanced

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

Re: [PATCH] Enable pager by default


From: Javier Martinez Canillas
Subject: Re: [PATCH] Enable pager by default
Date: Tue, 22 Oct 2019 10:30:20 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.1.0

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.
 
> Daniel
> 

Best regards,
-- 
Javier Martinez Canillas
Software Engineer - Desktop Hardware Enablement
Red Hat



reply via email to

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