2020-07-29 20:47:36 +08:00
|
|
|
From 72ffa52429b18c75f461c5dfa339c05b4bed2788 Mon Sep 17 00:00:00 2001
|
2019-09-30 10:52:04 -04:00
|
|
|
From: Peter Jones <pjones@redhat.com>
|
|
|
|
|
Date: Mon, 28 Oct 2013 10:13:27 -0400
|
2020-07-29 20:47:36 +08:00
|
|
|
Subject: [PATCH 039/220] F10 doesn't work on serial, so don't tell the user to
|
|
|
|
|
hit it (#987443)
|
2019-09-30 10:52:04 -04:00
|
|
|
|
|
|
|
|
Signed-off-by: Peter Jones <pjones@redhat.com>
|
|
|
|
|
---
|
|
|
|
|
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
|
2020-07-29 20:47:36 +08:00
|
|
|
index 537d4bf..452d55b 100644
|
2019-09-30 10:52:04 -04:00
|
|
|
--- a/grub-core/normal/menu_text.c
|
|
|
|
|
+++ b/grub-core/normal/menu_text.c
|
|
|
|
|
@@ -157,7 +157,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);
|
2020-07-29 20:47:36 +08:00
|
|
|
--
|
|
|
|
|
1.8.3.1
|
|
|
|
|
|
