2008-08-22 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}.
This commit is contained in:
fzielcke 2008-08-22 12:58:46 +00:00
parent 380cfbb458
commit d5a7dc5b74
3 changed files with 9 additions and 2 deletions

View file

@ -33,6 +33,7 @@ done
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}
@ -58,7 +59,7 @@ case x${GRUB_TERMINAL} in
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 ${video_backend}
terminal gfxterm