Différences

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

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
tutoriel:grub2_parametrage_manuel [Le 14/08/2022, 11:13]
Jean-Dom [os-prober partiel] Fôte de grammère.
tutoriel:grub2_parametrage_manuel [Le 14/08/2022, 11:51] (Version actuelle)
Jean-Dom [os-prober partiel]
Ligne 134: Ligne 134:
 On peut demander à grub d'​**éviter de scanner certaines partitions** par leur UUID (//sudo blkid// pour avoir leur liste). On utilisera le paramètre **GRUB_OS_PROBER_SKIP_LIST** du fichier **/​etc/​default/​grub** : On peut demander à grub d'​**éviter de scanner certaines partitions** par leur UUID (//sudo blkid// pour avoir leur liste). On utilisera le paramètre **GRUB_OS_PROBER_SKIP_LIST** du fichier **/​etc/​default/​grub** :
 <​file>​GRUB_OS_PROBER_SKIP_LIST="​3a43c682-cb67-47e6-83cf-e647a72abb5d@/​dev/​sda3","​1397cb72-27f1-4e01-acaf-86495341c71d@/​dev/​sda4"</​file>​ <​file>​GRUB_OS_PROBER_SKIP_LIST="​3a43c682-cb67-47e6-83cf-e647a72abb5d@/​dev/​sda3","​1397cb72-27f1-4e01-acaf-86495341c71d@/​dev/​sda4"</​file>​
 +FIXME Attention : Il semble que la bonne syntaxe soit : 
 +<​file>​GRUB_OS_PROBER_SKIP_LIST="​3a43c682-cb67-47e6-83cf-e647a72abb5d@/​dev/​sda3 1397cb72-27f1-4e01-acaf-86495341c71d@/​dev/​sda4"</​file>​
 ==== Changer l'​ordre des menus ==== ==== Changer l'​ordre des menus ====
 On peut **renommer les scripts** utilisés par '​update-grub'​ dans le dossier /​etc/​grub.d/​ pour en changer l'​ordre,​ par exemple : On peut **renommer les scripts** utilisés par '​update-grub'​ dans le dossier /​etc/​grub.d/​ pour en changer l'​ordre,​ par exemple :
  • tutoriel/grub2_parametrage_manuel.txt
  • Dernière modification: Le 14/08/2022, 11:51
  • par Jean-Dom