Mostrar el menú de arranque de grub

A veces al encender un ordenador, el menú de inicio de grub no aparece.
Esto se soluciona pulsando la tecla <SHIFT> durante el arranque.
Si queremos que el menú sea visible de forma permanente para los siguientes arranques, es mejor poner en /etc/default/grub

GRUB_TIMEOUT_STYLE=menu
GRUB_TIMEOUT=10

y después actualizar grub

$ grub-install