Par exemple, si j'ai plus d'un noyau linux que j'aime démarrer et que je maintiens mon propre /boot correctement... je ne veux pas que la liste soit réduite. Je veux choisir l'installation appropriée (une pour opencl, une pour les trucs sans fil, une pour l'usage courant, une pour l'anonymat, etc).
Réponse
Trop de publicités?
Modifier /etc/default/grub
# graphical
gksu gedit /etc/default/grub
# command line
sudo -e /etc/default/grubCommenter l'option HIDDEN_MENU
# change the time out to something other then 0
GRUB_TIMEOUT=20
# comment out #GRUB_HIDDEN_TIMEOUT
#GRUB_HIDDEN_TIMEOUT=3Mettre à jour Grub
sudo update-grubPour plus d'informations sur Grub voir Ubuntu wiki Grub 2
