[PATCH] menu: Add ctrl-L to refresh the menu

[Benjamin Herrenschmidt]

This is useful on cloud instances with remote serial ports as it can be
difficult to connect "fast enough" to get the initial menu display

Signed-off-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>
---
 grub-core/normal/menu.c | 4 ++++
 docs/grub.texi          | 3 +++
 2 files changed, 7 insertions(+)

diff --git a/grub-core/normal/menu.c b/grub-core/normal/menu.c
index 14ceb9bb0..5e50383a6 100644
--- a/grub-core/normal/menu.c
+++ b/grub-core/normal/menu.c
@@ -818,6 +818,10 @@ run_menu (grub_menu_t menu, int nested, int *auto_boot)
                }
              goto refresh;
 
+           case GRUB_TERM_CTRL | 'l':
+             menu_fini ();
+             goto refresh;
+
            default:
              {
                int entry;
diff --git a/docs/grub.texi b/docs/grub.texi
index 472fbbfc8..a1f6d3fe8 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -3172,6 +3172,9 @@ If you protect the menu interface with a password 
(@pxref{Security}),
 all you can do is choose an entry by pressing @key{RET}, or press
 @key{p} to enter the password.
 
+Pressing @key{Ctrl-l} will refresh the menu, which can be useful when
+connecting via serial after the menu has been drawn.
+
 
 @node Menu entry editor
 @section Editing a menu entry