Package: grub-pc
Version: 2.02~beta2-22
 
I was recently trying to fix a booting problem at the grub command-line.
I'm not very familiar with grub so I tried to use the built in help command.
 
However, I found that in the default configuration, grub's help command
is not very useful: The help output is frequently longer than one screen-full,
it whizzes past far too quickly to read, and you can't scroll back up.
 
It turns out there is a pager option, but this is turned off by default:
https://www.gnu.org/software/grub/manual/html_node/pager.html#pager
 
I think the pager feature should be on by default.
 
Without it, the built-in help is pretty much unusable, and the user has
to refer to the external manual to find out how to make it usable
(how is s/he to know about the pager setting?), which renders the whole
idea of a built-in help system rather pointless.

Reply via email to