Ocultando o menu Grub (Grub 2.02/Ubuntu 18.10)

Ocultando o menu Grub (Grub 2.02/Ubuntu 18.10)

Tenho problemas para "desativar" o gerenciador de inicialização Grub.
Basicamente, eu só quero esconder isso para me poupar algum tempo.
Portanto tentei editar o arquivo grub em /etc/default e alterei os valores de acordo com esta página (http://ubuntuhandbook.org/index.php/2014/06/ubuntu-1404-hide-grub-menu/ou qualquer outra página referente a esse assunto)

GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=verdadeiro

No final eu também corri sudo grub-update.
Além disso, tentei reinstalar o grub ( -pc / -common) completamente usando o apt.
Estou apenas executando o Ubuntu, então ocultá-lo ou escolher instantaneamente a primeira opção (sem aparecer) é viável. (GRUB_DEFAULT já está definido como 0)

Espero que alguém saiba a resposta. Desde já, obrigado!

editar: Comportamento atual: Grub não está oculto.

Responder1

Isso funcionou para mim no Ubuntu 19.04

Edite este arquivo:

sudo nano /etc/default/grub

Adicione esta linha

GRUB_DISABLE_OS_PROBER='true'

ctrl-x para sair e 'y' para salvar o arquivo

Em seguida, execute a atualização do grub

sudo update-grub

informação relacionada