J'essaie de faire apparaître le menu Grub au démarrage pour avoir accès au choix de la version du noyau, ceci au cas où une mise à jour du noyau serait foireuse.
Sur mon portable Lenovo, j'ai fini par dénicher un bouton baptisé "Novo" (en fait un trou pour glisser une tête d'épingle) qui permet de démarrer avec accès à un menu. Dans ce menu je trouve:
Code : Tout sélectionner
Normal Startup
BIOS Setup
Boot menu
System recovery
Je me suis également baladé dans le BIOS setup, mais je n'ai rien trouvé qui m'inspire.
Bref, pas moyen de faire apparaître Grub au démarrage pour le choix du noyau alors que j'ai plusieurs versions de noyau installées.
J'ai également tenté d'installer Ukuu. Dans la copie d'écran de la documentation du site Ubuntu, il y a au bas de l'interface une option "Display GRUB menu at boot time", mais cette option n'apparaît plus dans la version que j'ai installée. J'en suis resté là et j'ai désinstallé Ukuu.
Y aurait-il une combinaison magique de touches pour faire apparaître Grub ?
En prime je vous mets la configuration de mon grub:
Code : Tout sélectionner
richard@pc-linuxshop-5678:~$ cat /etc/default/grub
# 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_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=0
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"