Regularise indentation of "recordfail" in /etc/grub.d/10_linux.

This commit is contained in:
Colin Watson 2013-12-11 14:17:20 +00:00
parent 7ec3f59c96
commit d7777ac026
3 changed files with 4 additions and 3 deletions

1
debian/changelog vendored
View File

@ -10,6 +10,7 @@ grub2 (2.00+20131208-2) UNRELEASED; urgency=low
* Adjust the postinst of grub-efi-ia64, grub-efi-arm, and grub-efi-arm64
to keep the EFI System Partition up to date with grub-install after it
has been run once, like grub-efi-ia32 and grub-efi-amd64 already do.
* Regularise indentation of "recordfail" in /etc/grub.d/10_linux.
-- Colin Watson <cjwatson@debian.org> Tue, 10 Dec 2013 17:39:47 +0000

View File

@ -14,7 +14,7 @@ Description: Add configure option to bypass boot menu if possible
Author: Colin Watson <cjwatson@ubuntu.com>
Author: Richard Laager <rlaager@wiktel.com>
Forwarded: no
Last-Update: 2013-12-09
Last-Update: 2013-12-11
Index: b/configure.ac
===================================================================
@ -228,7 +228,7 @@ Index: b/util/grub.d/10_linux.in
echo "menuentry '$(echo "$os" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnulinux-simple-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
fi
+ if [ "$quick_boot" = 1 ]; then
+ echo "recordfail" | sed "s/^/$submenu_indentation/"
+ echo " recordfail" | sed "s/^/$submenu_indentation/"
+ fi
if [ x$type != xrecovery ] ; then
save_default_entry | grub_add_tab

View File

@ -129,7 +129,7 @@ linux_entry ()
echo "menuentry '$(echo "$os" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnulinux-simple-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
fi
if [ "$quick_boot" = 1 ]; then
echo "recordfail" | sed "s/^/$submenu_indentation/"
echo " recordfail" | sed "s/^/$submenu_indentation/"
fi
if [ x$type != xrecovery ] ; then
save_default_entry | grub_add_tab