From 6419c43e4f767cd5f3dcf4258c45bd3edcb60efa Mon Sep 17 00:00:00 2001
From: Robert Millan <rmh@aybabtu.com>
Date: Wed, 20 Jan 2010 13:56:45 +0000
Subject: [PATCH] Fix indentation in util/grub.d/00_header.in output

---
 util/grub.d/00_header.in | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
index 306bef3c3..7cee825d2 100644
--- a/util/grub.d/00_header.in
+++ b/util/grub.d/00_header.in
@@ -97,11 +97,11 @@ EOF
 if [ x$GRUB_THEME != x ] && [ -f $GRUB_THEME ] \
 	&& is_path_readable_by_grub $GRUB_THEME; then
     echo "Found theme: $GRUB_THEME" >&2
-    prepare_grub_to_access_device `${grub_probe} --target=device $GRUB_THEME`
+    prepare_grub_to_access_device `${grub_probe} --target=device $GRUB_THEME` | sed -e "s/^/  /"
     cat << EOF
-insmod gfxmenu
-set theme=(\$root)`make_system_path_relative_to_its_root $GRUB_THEME`
-set menuviewer=gfxmenu
+  insmod gfxmenu
+  set theme=(\$root)`make_system_path_relative_to_its_root $GRUB_THEME`
+  set menuviewer=gfxmenu
 EOF
 fi
     cat << EOF