très bonne question ... :rolleyes: mais je ne sais pas ..
en revanche je vois dans ton dernier post :
Attention : Définir GRUB_TIMEOUT à une valeur non nulle si GRUB_HIDDEN_TIMEOUT est définie n’est plus possible.
j'avais pareil .. ma solution ( je sais pas si c'est la meilleur )
Dans la consol :
sudo gedit /etc/default/grub
Dans gedit faire les modifs suivantes ( valeur = ... ) :
GRUB_DEFAULT=0.0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=0
..enregistrer
Puis dans la consol faire :
sudo gedit /etc/grub.d/30_os-prober
et modifier :
set timeout=0
..enregistrer et enfin lancer ( dans la consol ) :
sudo update-grub
( si quelqu'un à mieux ...? merki )
