Corriger ou Masquer le menu GRUB

Posted onAuthorPierre-Jean MARQUET

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 run sudo 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