Seguindo o conselho de uma resposta para Como eu removo ou escondo versões antigas do kernel para limpar o menu de inicialização ou espaço livre? , eu encontrei-me ter que aturar o menu de inicialização do GRUB toda vez que eu iniciei o sistema. Eu segui as instruções para ocultar o menu editando /etc/default/grub e, em seguida, executando update-grub , e isso parece mudar /boot/grub/grub.cfg como eu posso verificar que set timeout=10 se torna set timeout=0 depois de mudar a linha relevante em /etc/default/grub , mas o menu ainda mostra e nunca expira!
Existe alguma maneira de recuperar o GRUB do jeito que era?