2014-09-27, 22:50
Yes I'd looked at that thread and tried the various settings, but for the hell of it I just removed everything in the 14.04 grub 00_header make_timeout() section, there was a lot of code in there, and replaced it as follows:
make_timeout ()
{
cat << EOF
if [ "\${recordfail}" = 1 ]; then
set timeout=5
else
set timeout=${2}
fi
EOF
}
Did a "sudo grub-update" and it is booting fine now. The grub menu appears for 5 seconds then continues. It does look like the grub code is a bit flakey in Ubuntu 14.04. I'm just surprised nobody has report this already.
make_timeout ()
{
cat << EOF
if [ "\${recordfail}" = 1 ]; then
set timeout=5
else
set timeout=${2}
fi
EOF
}
Did a "sudo grub-update" and it is booting fine now. The grub menu appears for 5 seconds then continues. It does look like the grub code is a bit flakey in Ubuntu 14.04. I'm just surprised nobody has report this already.