{{tag>LinuxMint Grub Ubuntu}}
====== 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.

----

{{counter|today| personne a visité cette page aujourd'hui| personnes ont visité cette page aujourd'hui}} et {{counter}} en tout.