* util/grub-mkconfig.in: Accept GRUB_TERMINAL_OUTPUT=vga_text.
Fixes Savannah bug #37821.
This commit is contained in:
parent
fc6171d58e
commit
608b647ad9
2 changed files with 6 additions and 1 deletions
|
@ -1,3 +1,8 @@
|
|||
2012-12-28 Colin Watson <cjwatson@ubuntu.com>
|
||||
|
||||
* util/grub-mkconfig.in: Accept GRUB_TERMINAL_OUTPUT=vga_text.
|
||||
Fixes Savannah bug #37821.
|
||||
|
||||
2012-12-28 Colin Watson <cjwatson@ubuntu.com>
|
||||
|
||||
Apply program name transformations at build-time rather than at
|
||||
|
|
|
@ -158,7 +158,7 @@ fi
|
|||
for x in ${GRUB_TERMINAL_OUTPUT}; do
|
||||
case "x${x}" in
|
||||
xgfxterm) ;;
|
||||
xconsole | xserial | xofconsole)
|
||||
xconsole | xserial | xofconsole | xvga_text)
|
||||
# make sure all our children behave in conformance with ascii..
|
||||
export LANG=C;;
|
||||
*) echo "Invalid output terminal \"${GRUB_TERMINAL_OUTPUT}\"" >&2 ; exit 1 ;;
|
||||
|
|
Loading…
Reference in a new issue