J'ai deux systèmes d'exploitation: Windows 8.1 et Ubuntu 14.04. Je veux masquer le menu grub. J'utilise grub 2.02 ~ beta2-9. J'ai essayé les combinaisons suivantes de /etc/default/grub
:
\#GRUB_HIDDEN_TIMEOUT=1 \#GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=0
le menu grub est visible pendant 10 secondes (si le timeout est réglé pour une valeur supérieure à 0, il s'affiche correctement:
GRUB_TIMEOUT=5
- 5 secondes de retard)GRUB_HIDDEN_TIMEOUT=1 GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=0
menu grub est visible, j'ai aussi essayé
GRUB_HIDDEN_TIMEOUT=false
et la mise à la foisGRUB_TIMEOUT
etGRUB_HIDDEN_TIMEOUT
à zéro et les valeurs non nulles\#GRUB_HIDDEN_TIMEOUT=1 \#GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=1 GRUB_TIMEOUT_STYLE=hidden
le menu grub est visible pendant 1 seconde, essayé également
GRUB_TIMEOUT_STYLE=countdown
avec le même résultat, s'ilGRUB_TIMEOUT
est réglé sur 0, délai de 10 secondes
Après chaque changement, je tape update-grub
et redémarre l'ordinateur pour voir les résultats.
Selon la documentation GRUB trouvée de la info -f grub -n 'Simple configuration'
deuxième façon, elle est obsolète. La bonne façon est la troisième - en utilisant GRUB_TIMEOUT_STYLE
, mais malheureusement, cela ne fonctionne pas. C'est probablement une sorte de bogue.