Re: pager from menues doesnt work

[adrian15]

> 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