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 <b...@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
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
