noyau le plus récent pas proposé dans le menu grub

Bonjour,

Depuis  quelques temps, sur une machine Ubuntu 20.04 (vm sur VMWare, 
upgradée successivement à partir de 16.04), les nouveaux noyaux 
s'installent sans problème lors des mises à jour mais sont comme omis 
par grub.

Le menu de ce dernier me propose une noyau plus ancien de quelques 
versions, ainsi que celui encore d'avant, qui n'est lui même plus sur le 
système, mais aucun de ceux qui ont été installés après lui.

Ce qui est également surprenant, c'est que les fichier 
'/boot/grub/grub.cfg' et /boot/grub/menu.lst' ne mentionnent que le 
noyau le plus récent et celui plus ancien qui est booté. C'est comme si 
grub n'en tenait pas compte.

Merci par avance pour toute suggestion de solution, car là je suis un 
peu perdu.
_______________________________________________
gull mailing list
[email protected]
https://forum.linux-gull.ch/mailman/listinfo/gull