When I booted this morning, grub did no timeout. I.e., it waited for me to enter <Enter>.
This has happened twice now. The first time was after a dist-upgrade. But I did no system mods yesterday. The dates indicate that none of the grub config files have changed. In /boot/grub/grub.cfg, I see
if [ "${recordfail}" = 1 ]; then
set timeout=-1
else
set timeout=10
fi
### END /etc/grub.d/00_header ###
Don't know what this is all about, but it might explain the problem. When would "${recordfail}" = 1?
Btw, whatever happened to the great grub doc which used to be at kubuntuforums.net/forums/index.php?topic=3106368.0
This has happened twice now. The first time was after a dist-upgrade. But I did no system mods yesterday. The dates indicate that none of the grub config files have changed. In /boot/grub/grub.cfg, I see
if [ "${recordfail}" = 1 ]; then
set timeout=-1
else
set timeout=10
fi
### END /etc/grub.d/00_header ###
Don't know what this is all about, but it might explain the problem. When would "${recordfail}" = 1?
Btw, whatever happened to the great grub doc which used to be at kubuntuforums.net/forums/index.php?topic=3106368.0
Comment