Le 17/01/2019 à 10:44, Daniel Caillibaud a écrit :
Le 16/01/19 à 20:47, Pascal Hambourg <pascal@plouf.fr.eu.org> a écrit :Si cela installe un nouveau noyau, cela ne correspond pas à une mise à jour d'un noyau existant et il faut exécuter update-grub pour mettre à jour le menu de démarrage et pouvoir démarrer avec ce noyau.Tu es sûr ?
Plutôt, oui. grub.cfg ne se met pas à jour tout seul.
J'ai un gros doute, ça fait longtemps que je l'ai pas fait mais je pense n'avoir jamais relancé de update-grub (c'est p'tet dpkg-postinstall qui s'en est chargé).
Je n'ai pas écrit que c'était l'utilisateur qui devait le faire. En l'occurrence, c'est un script installé par grub-{pc,efi-amd64...} dans /etc/kernel/postinst.d/.