As root, edit file /etc/grub.d/00_header.
Change this:
Code:
make_timeout ()
{
if [ "x${1}" != "x" ] ; then
if [ "x${GRUB_HIDDEN_TIMEOUT_QUIET}" = "xtrue" ] ; then
verbose=
else
verbose=" --verbose"
fi
cat << EOF
to this:
Code:
make_timeout ()
{
if [ "x${1}" != "x" ] ; then
if [ "x${GRUB_HIDDEN_TIMEOUT_QUIET}" = "xtrue" ] ; then
verbose=
else
verbose=" --quiet"
fi
cat << EOF
Then open a terminal and run, as root, update-grub. Then reboot to verify that worked.
If not, then try this edit:
Code:
make_timeout ()
{
if [ "x${1}" != "x" ] ; then
if [ "x${GRUB_HIDDEN_TIMEOUT_QUIET}" = "xtrue" ] ; then
verbose="--quiet"
else
verbose=
fi
cat << EOF
then update-grub and try the reboot again.