|
 |
8e15ce |
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
|
8e15ce |
From: Javier Martinez Canillas <javierm@redhat.com>
|
|
|
8e15ce |
Date: Wed, 22 Apr 2020 12:41:52 +0200
|
|
|
8e15ce |
Subject: [PATCH] kern/term: Also accept F8 as a user interrupt key
|
|
|
8e15ce |
|
|
|
8e15ce |
Make F8, which used to be the hotkey to show the Windows boot menu during
|
|
|
8e15ce |
boot for a long long time, also interrupt sleeps / stop the menu countdown.
|
|
|
8e15ce |
|
|
|
8e15ce |
Signed-off-by: Javier Martinez Canillas <javierm@redhat.com>
|
|
|
8e15ce |
---
|
|
|
8e15ce |
grub-core/kern/term.c | 5 +++--
|
|
|
8e15ce |
1 file changed, 3 insertions(+), 2 deletions(-)
|
|
|
8e15ce |
|
|
|
8e15ce |
diff --git a/grub-core/kern/term.c b/grub-core/kern/term.c
|
|
|
b35c50 |
index 14d5964983..4d61f4e979 100644
|
|
|
8e15ce |
--- a/grub-core/kern/term.c
|
|
|
8e15ce |
+++ b/grub-core/kern/term.c
|
|
|
8e15ce |
@@ -144,9 +144,10 @@ grub_key_is_interrupt (int key)
|
|
|
8e15ce |
/*
|
|
|
8e15ce |
* ESC sometimes is the BIOS setup hotkey and may be hard to discover, also
|
|
|
8e15ce |
* check F4, which was chosen because is not used as a hotkey to enter the
|
|
|
8e15ce |
- * BIOS setup by any vendor.
|
|
|
8e15ce |
+ * BIOS setup by any vendor. Also, F8 which was the key to get the Windows
|
|
|
8e15ce |
+ * bootmenu for a long time.
|
|
|
8e15ce |
*/
|
|
|
8e15ce |
- if (key == GRUB_TERM_ESC || key == GRUB_TERM_KEY_F4)
|
|
|
8e15ce |
+ if (key == GRUB_TERM_ESC || key == GRUB_TERM_KEY_F4 || key == GRUB_TERM_KEY_F8)
|
|
|
8e15ce |
return 1;
|
|
|
8e15ce |
|
|
|
8e15ce |
/*
|