* util/grub.d/00_header.in (load_video): Handle the case when no video

	drivers available.
	Thanks to: Axel Beckert.

diff --git a/ChangeLog b/ChangeLog
index 254fc2c6f1eb53b0e901a93364e78a699c0a8a61..74c6affff1c8137ddce3eb4c32d2dcb4418e4dc6 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2011-01-12  Vladimir Serbinenko  <phcoder@gmail.com>
+
+       * util/grub.d/00_header.in (load_video): Handle the case when no video
+       drivers available.
+       Thanks to: Axel Beckert.
+
 2011-01-12  Vladimir Serbinenko  <phcoder@gmail.com>
 
        * util/grub-mkfont.c (write_font_pf2): Use appropriate type for data

diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
index a596e9c4ac54ca107aee364a38c23cea37750f5a..420b3f32cd535b965222b5e62d3ba96dc102414d 100644 (file)
--- a/util/grub.d/00_header.in
+++ b/util/grub.d/00_header.in
@@ -84,11 +84,16 @@ if [ -n "${GRUB_VIDEO_BACKEND}" ]; then
 EOF
 else
     # Insert all available backends; GRUB will use the most appropriate.
+    have_video=0;
     for backend in $(cat "${GRUB_PREFIX}/video.lst"); do
+       have_video=1;
        cat <<EOF
   insmod ${backend}
 EOF
     done
+    if [ x$have_video = x0 ]; then
+       echo "true"
+    fi
 fi
 cat <<EOF
 }