docs: Do not reference non-existent --dumb option
This appears to be a relic from GRUB legacy that used a --dumb option for its terminal command. The proper way to do this in GRUB2 is to set the terminal to "dumb" via the terminfo command. Fixes: https://savannah.gnu.org/bugs/?66302 Reported-by: Jernej Jakob <jernej.jakob+savgnu@gmail.com> Signed-off-by: Glenn Washburn <development@efficientek.com> Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
This commit is contained in:
parent
3f440b5a53
commit
01f064064c
@ -2731,11 +2731,11 @@ command.
|
|||||||
|
|
||||||
However, note that GRUB assumes that your terminal emulator is
|
However, note that GRUB assumes that your terminal emulator is
|
||||||
compatible with VT100 by default. This is true for most terminal
|
compatible with VT100 by default. This is true for most terminal
|
||||||
emulators nowadays, but you should pass the option @option{--dumb} to
|
emulators nowadays. However if your terminal emulator is not VT100-compatible
|
||||||
the command if your terminal emulator is not VT100-compatible or
|
or implements few VT100 escape sequences, you shoud tell GRUB that the
|
||||||
implements few VT100 escape sequences. If you specify this option then
|
terminal is dumb using the @command{terminfo} (@pxref{terminfo}) command.
|
||||||
GRUB provides you with an alternative menu interface, because the normal
|
This will have GRUB provide you with an alternative menu interface, because
|
||||||
menu requires several fancy features of your terminal.
|
the normal menu requires several fancy features of your terminal.
|
||||||
|
|
||||||
|
|
||||||
@node Vendor power-on keys
|
@node Vendor power-on keys
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user