Bug#612995: grub-pc: pager does not work within a menuentry if loaded via configfile

[Josh Triplett]

On Sat, Feb 12, 2011 at 04:40:08AM -0800, Josh Triplett wrote:
> On Sat, Feb 12, 2011 at 11:45:47AM +0000, Colin Watson wrote:
> > On Fri, Feb 11, 2011 at 09:56:25PM -0800, Josh Triplett wrote:
> > > >From the command line, I can "set pager=1", and then either cat a long
> > > file or use a for loop to echo 30 lines, and see that the pager puts up
> > > a "-- MORE --" prompt and waits for a key.  However, the same thing
> > > doesn't seem to work from within a menuentry in a file loaded by
> > > "configfile".
> > 
> > configfile introduces a new environment context, similar to a new
> > process in Unix.  As a result, you must 'export pager' for it to be
> > visible in child contexts.
> > 
> > Does that solve all the problems you outline in this report?
> 
> No; the config file I configfile'd sets pager.

That said, I didn't know grub had "export"; that will prove incredibly
handy.  Thanks!

- Josh Triplett