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

[Josh Triplett]

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.

- Josh Triplett