Quero partilhar com vocês um problema que enfrentei ao fazer um dual boot Windows 10 Home Single Language e Linux Mint Mate, onde instalei primeiro o Windows para depois instalar o Linux.
O problema que enfrentei foi que, após a instalação do Linux, não aparecia o menu Grub para selecionar o Sistema Operacional desejado. Após uma pesquisa sobre o problema, cheguei ao seguinte comando no terminal, o qual descobri a causa de não estar aparecendo o menu.
Digitar um dos seguintes comandos (se um não funcionar, use o outro):
sudo pluma /etc/default/grub
ou
sudo xed /etc/default/grub
Na janela que abrir, mudar as linhas abaixo
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=0
para a forma abaixo:
GRUB_TIMEOUT_STYLE=menu
GRUB_TIMEOUT=10 (aqui é o tempo em segundos)