LinuxMint : Grub propose des entrées Ubuntu
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 942 en tout.