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 979 en tout.