Ocultar el menú de Grub (Grub 2.02 / Ubuntu 18.10)

Question

Tengo problemas para "desactivar" el gestor de arranque Grub.
Básicamente sólo quiero ocultarlo para ahorrarme algo de tiempo.
Por lo tanto, intenté editar el archivo grub en /etc/default y cambié los valores de acuerdo con esta página (http://ubuntuhandbook.org/index.php/2014/06/ubuntu-1404-hide-grub-menu/o cualquier otra página que haga referencia a ese asunto)

GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=verdadero

Al final también corrí sudo grub-update.
Además, intenté reinstalar grub (-pc/-common) completamente usando apt.
Solo estoy ejecutando Ubuntu, por lo que es viable ocultarlo o elegir instantáneamente la primera opción (sin que se muestre). (GRUB_DEFAULT ya está configurado en 0)

Ojalá alguien sepa la respuesta. ¡Gracias de antemano!

editar: Comportamiento actual: Grub no está oculto.

Answer 1

Esto funcionó para mí en Ubuntu 19.04

Edite este archivo:

sudo nano /etc/default/grub

Añade esta línea

GRUB_DISABLE_OS_PROBER='true'

Ctrl-x para salir e 'y' para guardar el archivo.

Luego ejecuta la actualización de grub

sudo update-grub