Bonjour,
lorsqu'un nouveau kernel est installé, le prochain redémarrage ne s'effectue pas sur le nouveau (mais bien sur l'ancien).
Comment faire pour que le démarrage se fasse sur le dernier kernel installé ?
Pour info, /etc/default/grub :
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=false
# GRUB_TERMINAL="serial console"
# GRUB_SERIAL_COMMAND="serial --unit=0 --speed=9600"
GRUB_CMDLINE_LINUX="quiet rhgb \# video=SVIDEO-1:d"
GRUB_DISABLE_RECOVERY="true"