* [PATCH] docs: Do not reference non-existent "--dumb" option
@ 2025-01-04 7:50 Glenn Washburn
2025-02-24 17:25 ` Daniel Kiper
0 siblings, 1 reply; 2+ messages in thread
From: Glenn Washburn @ 2025-01-04 7:50 UTC (permalink / raw)
To: grub-devel, Daniel Kiper; +Cc: Jernej Jakob, Glenn Washburn
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
temrinal 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>
---
docs/grub.texi | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/docs/grub.texi b/docs/grub.texi
index 852567a0156a..5da3835fa45f 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
--
2.34.1
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
^ permalink raw reply related [flat|nested] 2+ messages in thread
* Re: [PATCH] docs: Do not reference non-existent "--dumb" option
2025-01-04 7:50 [PATCH] docs: Do not reference non-existent "--dumb" option Glenn Washburn
@ 2025-02-24 17:25 ` Daniel Kiper
0 siblings, 0 replies; 2+ messages in thread
From: Daniel Kiper @ 2025-02-24 17:25 UTC (permalink / raw)
To: Glenn Washburn; +Cc: grub-devel, Jernej Jakob
On Sat, Jan 04, 2025 at 01:50:32AM -0600, Glenn Washburn wrote:
> 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
> temrinal 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>
Daniel
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2025-02-24 17:25 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-01-04 7:50 [PATCH] docs: Do not reference non-existent "--dumb" option Glenn Washburn
2025-02-24 17:25 ` Daniel Kiper
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.