> On Tuesday 21 June 2005 19:04, adrian15 wrote: > > I use cat FILE. I know that Grub has an internal pager. > > But if you call cat FILE from a menu pager doesn't work (even if you > put > pager ON before the cat). > > This is disabled by intention, because the pager may prevent automatic > booting, even when no terminal is connected. > > Okuji
Thanks for your answer. Where in the source code could I change this behaviour? adrian15 _______________________________________________ Bug-grub mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-grub
