Fix indentation in util/grub.d/00_header.in output

diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
index 306bef3c3c29c97b901b9f71590f1b30b7cb14b6..7cee825d2e0ebb9902b4fd428648186c603e3e8e 100644 (file)
--- 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