Following the advice from an answer to How do I remove or hide old kernel versions to clean up the boot menu or free space?, I found myself having to put up with the GRUB boot menu every time I started the system. I followed the instructions to hide the menu by editing /etc/default/grub and then running update-grub, and it seems to change /boot/grub/grub.cfg as I am able to verify that set timeout=10 becomes set timeout=0 after changing the relevant line in /etc/default/grub, but the menu still shows and it never times out!
Is there any way to get GRUB back to the way it was?
