Pour masquer le menu GRUB :
– GRUB_TIMEOUT_STYLE=0
– GRUB_TIMEOUT=0
(on peut quand-même afficher le menu Grub si appuie sur la touche MAJ au boot)

Pour afficher le menu GRUB :
GRUB_TIMEOUT_STYLE=menu
GRUB_TIMEOUT=10

1/3)  Penser à archiver la version précédente :
sudo cp /etc/default/grub /etc/default/grub.old
sudo nano /etc/default/grub

Contenu « type » du fichier /etc/default/grub : (menu visible pendant 10 secondes)

GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=menu
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`( . /etc/os-release; echo ${NAME:-Ubuntu} ) 2>/dev/null || ec>
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

2/3) sudo update-grub

3/3) sudo reboot

Pour faire re-apparaître le menu GRUB au démarrage :

Appuyer et maintenir la touche ‘MAJ‘ pendant le chargement de Grub
Pour rendre le changement permanent :
- nano /etc/default/grub
- Saisir « # » au début de la ligne : GRUB_HIDDEN_TIMEOUT=0
- Sauvegarder et lancer : sudo update-grub

2018 : Attention : il n’est plus possible de définir GRUB_TIMEOUT à une valeur non nulle, si la ligne GRUB_HIDDEN_TIMEOUT est définie.

Script Bash pour mettre à jour le menu GRUB : grub.sh

sudo cp /etc/default/grub /etc/default/grub.old
sudo nano /etc/default/grub
sudo update-grub