Pour masquer le menu GRUB :
– Décommenter les 2 lignes : #GRUB_HIDDEN…
– et Réduire au maximum le temps du choix : GRUB_HIDDEN_TIMEOUT=1 (>0 sec pour pouvoir afficher le Menu lorsqu’on appuie sur la touche MAJ)
2018 : Attention : Définir GRUB_TIMEOUT à une valeur non nulle si GRUB_HIDDEN_TIMEOUT est définie n’est plus possible.
1/3) sudo cp /etc/default/grub /etc/default/grub.old sudo nano /etc/default/grub
GRUB_DEFAULT=0
GRUB_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT=1
GRUB_HIDDEN_TIMEOUT_QUIET=true
2/3) sudo update-grub
3/3) sudo reboot
Voir : http://askubuntu.com/questions/148095/how-do-i-set-the-grub-timeout-and-the-grub-default-boot-entry
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, editer le fichier :
/etc/default/grub
et placer un « # » au début de la ligne :GRUB_HIDDEN_TIMEOUT=0
. Save changes and runsudo update-grub
to apply changes.
On peut aussi utiliser l’application Grub Customizer. Le paramétrage est plus facile.
Pour l’installer :
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update || sudo apt-get install grub-customizer