Bug#763025: closed by Colin Watson <cjwatson at debian.org> (Re: Bug#763025: paging)

積丹尼 Dan Jacobson jidanni at jidanni.org
Sat Sep 27 12:09:52 UTC 2014


B> set pager=1
B>   https://www.gnu.org/software/grub/manual/grub.html#pager
B> HTH,

Yes that helps... but not in 99% of the cases, where the user is
panicking and can't even boot, nonetheless access any manuals.

Therefore kindly put it on the help screen that greets one before the
first grub> prompt.

Or make it the default, and have the pros scour the manuals if they want
to figure out how to turn it off.



More information about the Pkg-grub-devel mailing list