Bem, se as teclas Shift ou Esc não funcionarem na inicialização quando você quiser ir no menu grub, você deve editar novamente /etc/default/grub
file (com% comandosudo -H gedit /etc/default/grub
do terminal) e reverta as mudanças que você fez (set GRUB_TIMEOUT=10
).
Depois disso, se você quiser que as alterações entrem em vigor, execute o próximo comando no terminal:
sudo update-grub
Se o método acima ainda não funcionar, tente usar o Boot-Repair .