Maintenant que je suis passé à la version 13.10, je n'arrive pas à obtenir un menu Grub. Je l'ai appris à mes dépens quand quelque chose à propos de l'installation puis de la suppression de KDE plasma desktop a fait qu'ubuntu a cessé de démarrer entre l'écran de démarrage et l'ouverture de session. J'ai dû faire une nouvelle installation. Maintenant que c'est fait, j'ai réessayé d'obtenir un menu Grub. Maintenir la touche shift enfoncée ne fonctionne pas. Voici ce que mon /etc/defaults/grub
lors d'une nouvelle installation :
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
# info -f grub -n 'Simple configuration'
GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console
# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE=640x480
# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true
# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"
# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"
Hypothétiquement, cela devrait rendre le menu Grub visible pendant 10 secondes ( GRUB_TIMEOUT=10
). Ce n'est pas le cas. Il ne faut même pas 10 secondes à mon ordinateur pour passer du démarrage de Grub à l'écran de connexion. J'ai essayé de passer à
...
GRUB_HIDDEN_TIMEOUT=5
GRUB_HIDDEN_TIMEOUT_QUIET=false
GRUB_TIMEOUT=10
...
ce qui a provoqué l'affichage d'un compte à rebours de 5 secondes, mais le fait d'appuyer sur shift, une fois de plus, n'a eu aucun effet.
Que se passe-t-il ?