J'essayais de faire la même chose et j'ai trouvé une grande aide dans les forums Ubuntu, en particulier dans ce fil de discussion.
En supposant que vous avez fait les bonnes choses avec /etc/default/grub
, en configurant correctement GRUB_TIMEOUT
et #GRUB_HIDDEN_TIMEOUT
(je dirais respectivement à 0 et 5) et même GRUB_DEFAULT
pour spécifier l'image par défaut à démarrer, voici la procédure pour que cela fonctionne correctement.
-
Ajoutez ces lignes
GRUB_FORCE_HIDDEN_MENU="true"
export GRUB_FORCE_HIDDEN_MENU
à la fin de /etc/default/grub
-
Sauvegardez votre /etc/grub.d/30_os-prober
et écrasez-le avec la version trouvée ici.
-
Exécutez la commande: sudo update-grub
pour mettre à jour les paramètres.
-
Testez ! Pour afficher le menu, vous devez maintenir la touche SHIFT
au démarrage.
Ce problème est lié à la configuration multi-OS et éditer le script est l'une des façons de le corriger.
PS: Cette réponse est exactement la même donnée à une autre question identique sur ici