This is problably a problem only when the grub is upgraded, because on my other machine where I did a fresh install, the problem is not there.
I modified the
set timeout=-1to
set timeout=5in /etc/grub.d/00_header and then executed the update-grub (of course none of this is possible without sudo)
if [ \${recordfail} = 1 ]; then set timeout=5 else set timeout=${GRUB_TIMEOUT} fi
update-grub
I am not sure if this is the right way to do it, but it worked!
No comments:
Post a Comment