From: Glenn Washburn Date: Sat, 4 Jan 2025 07:50:32 +0000 (-0600) Subject: docs: Do not reference non-existent --dumb option X-Git-Tag: grub-2.14-rc1~252 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=01f064064c3146bd82e0c8db0da11d286bca31c6;p=thirdparty%2Fgrub.git 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 Signed-off-by: Glenn Washburn Reviewed-by: Daniel Kiper --- diff --git a/docs/grub.texi b/docs/grub.texi index e914e022b..dcc563dbc 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@ -2731,11 +2731,11 @@ command. However, note that GRUB assumes that your terminal emulator is compatible with VT100 by default. This is true for most terminal -emulators nowadays, but you should pass the option @option{--dumb} to -the command if your terminal emulator is not VT100-compatible or -implements few VT100 escape sequences. If you specify this option then -GRUB provides you with an alternative menu interface, because the normal -menu requires several fancy features of your terminal. +emulators nowadays. However if your terminal emulator is not VT100-compatible +or implements few VT100 escape sequences, you shoud tell GRUB that the +terminal is dumb using the @command{terminfo} (@pxref{terminfo}) command. +This will have GRUB provide you with an alternative menu interface, because +the normal menu requires several fancy features of your terminal. @node Vendor power-on keys