Ceci est une ancienne révision du document !


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.

  • linuxaddict/reparer/grub.1489426670.txt.gz
  • Dernière modification : 13/03/2017, 18:37
  • de Claude Clerc