Bonjour !
Je me suis posé quelques questions avant d'appliquer le "patch" proposé sur launchpad, car les explications pour le moins concises ne sont pas claires, je trouve !
Il faut donc éditer le fichier /etc/grub.d/30_os-prober :
sudo gedit /etc/grub.d/30_os-prober
puis se rendre aux lignes spécifiées et commenter (ou supprimer) les lignes précédées d'un "-" et rajouter les lignes précédées d'un "+". Voir ci-dessous, j'ai mis en gras les modifications à apporter pour les rendre plus visibles :
--- 30_os-prober.orig 2009-09-12 11:12:24.000000000 +0100
+++ 30_os-prober 2009-09-12 11:32:57.000000000 +0100
@@ -25,8 +25,7 @@
found_other_os=
adjust_timeout () {
- if [ "x${found_other_os}" = "x" ] ; then
- if [ "x${GRUB_HIDDEN_TIMEOUT}" != "x" ] ; then
+ if [ "x${found_other_os}" = "x" ] || [ "x${GRUB_HIDDEN_TIMEOUT}" != "x" ] ; then
if [ "x${GRUB_HIDDEN_TIMEOUT_QUIET}" = "xtrue" ] ; then
verbose=
else
@@ -54,7 +53,6 @@
fi
EOF
fi
- fi
fi
}
C'était peut-être évident pour certains mais je préférais le préciser, sait-on jamais. 🙂
En tout cas le "patch" fonctionne, il me permet de faire disparaître le menu et de lancer automatiquement l'entrée par défaut au bout de GRUB_HIDDEN_TIMEOUT, temps pendant lequel on peut faire apparaître le menu de grub en appuyant sur Esc ou Shift. 🙂
