Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Prochaine révisionLes deux révisions suivantes
linuxaddict:reparer:grub [13/03/2017, 18:32] – créée Claude Clerclinuxaddict:reparer:grub [13/03/2017, 18:36] Claude Clerc
Ligne 5: Ligne 5:
 Éditer avec les droits root le fichier ''/etc/grub.d/10_linux'' et le modifier vers la ligne 40 afin que l'on ait : É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     case ${GRUB_DISTRIBUTOR} in
-      Ubuntu|Kubuntu|LinuxMint)+      Ubuntu|Kubuntu|LinuxMint) #Le choix LinuxMint manquait.
         OS="Linux Mint 18.1 Cinnamon 64-bit" #Adapter à votre version.         OS="Linux Mint 18.1 Cinnamon 64-bit" #Adapter à votre version.
         ;;         ;;
  • linuxaddict/reparer/grub.txt
  • Dernière modification : 17/02/2022, 03:02
  • de Claude Clerc