Grub fake recordfail caused by /etc/grub.d/00_header

[Mr_Magoo]

Just a note to try this next time this issue arises:

GRUB_TIMEOUT options ignored

Ok. Just to be sure it is not set to "0" as this can result in the user being utterly unable to access the Recovery Menu, should they need it. And if you need it at some point... you really want it to be there... If you edit your grub file and add the following line: GRUB_RECORDFAIL_TIMEOUT=$GRUB_TIMEOUT Then save the file and run sudo update-grub, that should force the recordfail to adhere to the set grub timeout.