On Thu, Nov 28, 2013 at 09:20:17PM +0400, Andrey Borzenkov wrote: > Not only. If you hit ESC it will not "wait for input according to > GRUB_TIMEOUT" - it will stop displaying menu.
No, that's not true in my tests. If you hit Escape while a hidden timeout is active and GRUB_TIMEOUT is non-zero, it'll display the menu. If you can make this happen, please post a detailed test case. > I'm not sure whether exposing menu but continuing count down is useful. > We could let any other key (or specific key - SPACE?) do it. I don't think it's very useful, which is why it isn't available in the new GRUB_TIMEOUT + GRUB_TIMEOUT_STYLE interface; but it was exposed in the old GRUB_HIDDEN_TIMEOUT + GRUB_TIMEOUT interface so I don't want to break it entirely. -- Colin Watson [cjwat...@ubuntu.com] _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
