vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

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

Browse source
This commit is contained in:
Robert Millan 2010-01-20 13:56:45 +00:00
parent b6aa46f5f5
commit 6419c43e4f
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
util/grub.d/00_header.in
View file

@ -97,7 +97,7 @@ 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`