On Wed, Jul 13, 2011 at 9:08 PM, Wolodja Wentland <babilen@gmail.com> wrote: > On Thu, Jun 30, 2011 at 07:06 -0400, Tom H wrote: >> >> "info grub" lists these variables in one of its sections (there's a >> way of going straight to that section but I don't know it). > > $ info -f grub -n 'Simple configuration' Thanks, although I doubt that I'll remember "simple configuration" should I need it in the future!