Rien de bien grave.
Éditer avec les droits root le fichier /etc/grub.d/10_linux et le modifier vers la ligne 40 afin que l'on ait :
case ${GRUB_DISTRIBUTOR} in
Ubuntu|Kubuntu|LinuxMint) #Le choix LinuxMint manquait.
OS="Linux Mint 18.1 Cinnamon 64-bit" #Adapter à votre version.
;;
*)
OS="${GRUB_DISTRIBUTOR} GNU/Linux"
;;
esac
Enregistrer ce fichier, puis lancer la commande :
sudo update-grub
Au redémarrage suivant, tout est en ordre.
1 personne a visité cette page aujourd'hui et 1318 en tout.