[PATCH] Integrate hiddenmenu

[Colin Watson]

I'd like to integrate http://grub.enbug.org/Hiddenmenu as a
grub-mkconfig option so that we can use it by default in Ubuntu. How
does the attached patch look? I dropped the --verbose from the wiki page
since I personally prefer it to be silent, although obviously this could
be patched in or out as desired. I also moved the timeout down to after
the point when the graphical terminal is initialised, to decrease the
period when GRUB isn't in the desired screen resolution.

2009-08-10  Colin Watson  <address@hidden>

        * util/grub-mkconfig.in: Export GRUB_HIDDEN_TIMEOUT.
        * util/grub.d/00_header.in: Enter interruptible sleep if
        GRUB_HIDDEN_TIMEOUT is set.

Thanks,

-- 
Colin Watson                                       address@hidden

grub2-hidden-timeout.diff
Description: Text Data