[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>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
---
 docs/grub.texi          | 3 +++
 grub-core/normal/menu.c | 4 ++++
 2 files changed, 7 insertions(+)

diff --git a/docs/grub.texi b/docs/grub.texi
index 211cddc01..0dbbdc374 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -3222,6 +3222,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
diff --git a/grub-core/normal/menu.c b/grub-core/normal/menu.c
index fa4871a62..6a90e091f 100644
--- a/grub-core/normal/menu.c
+++ b/grub-core/normal/menu.c
@@ -788,6 +788,10 @@ run_menu (grub_menu_t menu, int nested, int *auto_boot, 
int *notify_boot)
                }
              goto refresh;
 
+           case GRUB_TERM_CTRL | 'l':
+             menu_fini ();
+             goto refresh;
+
            default:
              {
                int entry;