mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-25 16:49:23 +00:00
add two new options, --dumb and --timeout, into the command terminal.
This commit is contained in:
1 parent
7f6d84c46f
commit
fa8456816f
3 files changed
+71
-22
No files matched your search
+2
-10
@@ -1023,19 +1023,11 @@ getkey (void)
|
||||
{
|
||||
int c = -1;
|
||||
|
||||
if (terminal == TERMINAL_CONSOLE)
|
||||
if (terminal & TERMINAL_CONSOLE)
|
||||
c = console_getkey ();
|
||||
#ifdef SUPPORT_SERIAL
|
||||
else if (terminal == TERMINAL_SERIAL)
|
||||
else if (terminal & TERMINAL_SERIAL)
|
||||
c = serial_getkey ();
|
||||
else
|
||||
{
|
||||
grub_printf ("\
|
||||
Warning: Both the console and serial terminals are enabled in getkey!
|
||||
The serial terminal will be disabled.\n");
|
||||
terminal = TERMINAL_CONSOLE;
|
||||
c = console_getkey ();
|
||||
}
|
||||
#endif /* SUPPORT_SERIAL */
|
||||
|
||||
return c;
|
||||
|
||||
Reference in new issue
Block a user