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
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to