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 26/12/2020, 17:04]
109.10.49.2 [Menu par défaut]
tutoriel:grub2_parametrage_manuel [Le 10/05/2021, 13:50] (Version actuelle)
88.122.224.21 [Menu par défaut]
Ligne 118: Ligne 118:
   * un **chiffre** (0 = le premier, 1 = le deuxième, etc.) ;   * un **chiffre** (0 = le premier, 1 = le deuxième, etc.) ;
   * **saved** (sans guillemet) pour ce qui a été sélectionné lors du précédent lancement (nécessite de rajouter GRUB_SAVEDEFAULT=true) ;​   * **saved** (sans guillemet) pour ce qui a été sélectionné lors du précédent lancement (nécessite de rajouter GRUB_SAVEDEFAULT=true) ;​
-  * ou le **titre** de menu exact d’un menu mis **entre guillemets** (par exemple : "​Microsoft Windows 10 (on /​dev/​sda1)"​). Pour obtenir les titres exacts des menus : grep menuentry /​boot/​grub/​grub.cfg+  * ou le **titre** de menu exact d’un menu mis **entre guillemets** (par exemple : "​Microsoft Windows 10 (on /​dev/​sda1)"​). Pour obtenir les titres exacts des menus : grep menuentry /​boot/​grub/​grub.cfg ​
 +  * **chiffre>​chiffre** le premier chiffre décrit un menu principal, le second chiffre décrit le sous-menu (par exemple 1>2 pour le mode normal de l'​ancien noyau.)
  
 La **temporisation** avant un lancement automatique se définit avec le paramètre **GRUB_TIMEOUT** : La **temporisation** avant un lancement automatique se définit avec le paramètre **GRUB_TIMEOUT** :
  • tutoriel/grub2_parametrage_manuel.txt
  • Dernière modification: Le 10/05/2021, 13:50
  • par 88.122.224.21