[PATCH] add support for GRUB_GFXMODE variable

[Felix Zielcke <fzielcke@z-51.de>]

[-- Attachment #1: Type: text/plain, Size: 299 bytes --]

Here's a patch to add a GRUB_GFXMODE variable for update-grub
to set the gfxmode. 


2008-07-31  Felix Zielcke  <fzielcke@z-51.de>
        
	* util/update-grub.in (GRUB_GFXMODE): Export variable.
	* util/grub.d/00_header.in: Allow the administrator to change default 
	gfxmode via ${GRUB_GFXMODE}.


[-- Attachment #2: gfxmode.diff --]
[-- Type: text/x-patch, Size: 1472 bytes --]

Index: util/grub.d/00_header.in
===================================================================
--- util/grub.d/00_header.in	(Revision 1754)
+++ util/grub.d/00_header.in	(Arbeitskopie)
@@ -31,6 +31,7 @@
 
 if [ "x${GRUB_DEFAULT}" = "x" ] ; then GRUB_DEFAULT=0 ; fi
 if [ "x${GRUB_TIMEOUT}" = "x" ] ; then GRUB_TIMEOUT=5 ; fi
+if [ "x${GRUB_GFXMODE}" = "x" ] ; then GRUB_GFXMODE=640x480 ; fi
 
 cat << EOF
 set default=${GRUB_DEFAULT}
@@ -43,7 +44,7 @@
     prepare_grub_to_access_device `${grub_probe} --target=device ${GRUB_FONT_PATH}`
     cat << EOF
 if font `make_system_path_relative_to_its_root ${GRUB_FONT_PATH}` ; then
-  set gfxmode=640x480
+  set gfxmode=${GRUB_GFXMODE}
   insmod gfxterm
   insmod vbe
   terminal gfxterm
Index: util/update-grub.in
===================================================================
--- util/update-grub.in	(Revision 1754)
+++ util/update-grub.in	(Arbeitskopie)
@@ -164,7 +164,7 @@
 export GRUB_DEVICE GRUB_DEVICE_UUID GRUB_DEVICE_BOOT GRUB_DEVICE_BOOT_UUID GRUB_FS GRUB_FONT_PATH GRUB_PRELOAD_MODULES
 
 # These are optional, user-defined variables.
-export GRUB_DEFAULT GRUB_TIMEOUT GRUB_DISTRIBUTOR GRUB_CMDLINE_LINUX GRUB_CMDLINE_LINUX_DEFAULT GRUB_TERMINAL GRUB_SERIAL_COMMAND GRUB_DISABLE_LINUX_UUID
+export GRUB_DEFAULT GRUB_TIMEOUT GRUB_DISTRIBUTOR GRUB_CMDLINE_LINUX GRUB_CMDLINE_LINUX_DEFAULT GRUB_TERMINAL GRUB_SERIAL_COMMAND GRUB_DISABLE_LINUX_UUID GRUB_GFXMODE
 
 rm -f ${grub_cfg}.new
 exec > ${grub_cfg}.new