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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
