Este é um recurso padrão do GRUB. A única diferença é que a chave para abrir o menu GRUB é Shift ou Esc .
Para alterar as configurações do GRUB, abra seu editor favorito e edite o arquivo localizado em /etc/default/grub . Usando o aplicativo terminal , assim:
gksudo gedit /etc/default/grub
Na parte superior do arquivo, você verá várias configurações que podem ser alteradas, assim:
GRUB_DEFAULT=saved # change this line
GRUB_SAVEDEFAULT=true # add this line
GRUB_HIDDEN_TIMEOUT_QUIET=true
#GRUB_HIDDEN_TIMEOUT=0 #uncomment this line
GRUB_TIMEOUT=10 # change this line
GRUB_DISTRIBUTOR='lsb_release -i -s 2> /dev/null || echo Debian'
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
Como mostrado, as duas primeiras linhas salvarão a última seleção de sistema operacional feita e, em seguida, inicializarão no mesmo sistema operacional novamente na próxima inicialização. Você provavelmente precisará adicionar GRUB_SAVEDEFAULT=true .
Se você decidir que SEMPRE gostaria de usar como padrão o mesmo sistema operacional, defina GRUB_DEFAULT=n , em que n é o número posicional do menu do GRUB (contagem começa em zero) que você Gostaria de inicializar (ou seja: GRUB_DEFAULT=3 para Windows OS) , e você comenta o GRUB_SAVEDEFAULT=true colocando um # na frente dessa linha.
As linhas #GRUB_HIDDEN_TIMEOUT=0 e GRUB_TIMEOUT=10 são as que você deseja alterar.
Descomente #GRUB_HIDDEN_TIMEOUT=0 , removendo # dessa linha e tente com a configuração = 0. Se você achar que não está pegando suas teclas Shift ou Esc no momento da inicialização, você pode aumentar essa configuração para 1-3 segundos.
Altere GRUB_TIMEOUT=10 do padrão de 10 segundos para exibir o menu antes de continuar a inicialização, para 0 segundo, assim: GRUB_TIMEOUT=0 .
Uma vez editado e salvo, você precisa atualizar seu GRUB no disco, assim:
sudo update-grub