From 857ef6003335f509c684221c2c839b7d768796e8 Mon Sep 17 00:00:00 2001 From: Peter Jones Date: Mon, 28 Oct 2013 10:13:27 -0400 Subject: [PATCH] F10 doesn't work on serial, so don't tell the user to hit it (#987443) Signed-off-by: Peter Jones --- grub-core/normal/menu_text.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/grub-core/normal/menu_text.c b/grub-core/normal/menu_text.c index 95b90ea..ace1885 100644 --- a/grub-core/normal/menu_text.c +++ b/grub-core/normal/menu_text.c @@ -116,7 +116,7 @@ print_message (int nested, int edit, struct grub_term_output *term, int dry_run) if (edit) { - ret += grub_print_message_indented_real (_("Press Ctrl-x or F10 to start, Ctrl-c or F2 for a \ + ret += grub_print_message_indented_real (_("Press Ctrl-x to start, Ctrl-c for a \ command prompt or Escape to discard edits and return to the menu. Pressing Tab lists possible completions."), STANDARD_MARGIN, STANDARD_MARGIN, term, dry_run); -- 1.8.3.1