J'ai récemment mis à jour Ubuntu de 12.04 à 12.10 et depuis ce temps, le système ne démarre pas automatiquement. Il ouvre toujours le menu de démarrage, et je dois appuyer sur Entrée pour le faire démarrer Ubuntu.
Il semble ignorer la valeur du délai d'expiration et utiliser un délai d'expiration «sans fin».
Il n'y a pas d'autres systèmes (pas de double démarrage), seules les options installées à l'origine par l'installation d'Ubuntu 12.04 par défaut.
Mon /etc/default/grub
n'a que ces options efficaces:
GRUB_DEFAULT='Ubuntu'
GRUB_HIDDEN_TIMEOUT=1
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=1
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
GRUB_TERMINAL=console
J'ai expérimenté GRUB_DEFAULT
, en lui donnant les valeurs «0», «1», «Ubuntu» mais rien n'y fait.
Oui, je cours toujours update-grub
après.
Comment puis-je redémarrer le système?