Hello,
Currently, if one sets "GRUB_TERMINAL=gfxterm" in /etc/default/grub,
then update-grub dies with error :
Invalid terminal "gfxterm"
I've attached a patch to allow this.
Franklin
P.S. Of course, it's licensed under GPL.
--- /usr/sbin/update-grub 2008-02-21 10:02:38.000000000 +0100
+++ update-grub 2008-02-21 10:01:11.000000000 +0100
@@ -123,7 +123,7 @@
# if ${GRUB_TERMINAL} is set, check it has a sane value. if undefined,
# fallback to our default
case ${platform}:${GRUB_TERMINAL} in
pc:) GRUB_TERMINAL=gfxterm ;;
- pc:console | pc:serial) ;;
+ pc:console | pc:serial | pc:gfxterm) ;;
ieee1275:) GRUB_TERMINAL=ofconsole ;;
ieee1275:ofconsole) ;;
_______________________________________________
Grub-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/grub-devel
