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