Le 17/01/2019 à 10:44, Daniel Caillibaud a écrit :
Le 16/01/19 à 20:47, Pascal Hambourg <pas...@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/.