Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | |||
|
tutoriel:grub2_parametrage_manuel [Le 06/09/2024, 10:03] 77.205.21.175 [Menu par défaut] |
tutoriel:grub2_parametrage_manuel [Le 09/09/2024, 11:00] (Version actuelle) geole [Menu par défaut] ajout guillemts |
||
|---|---|---|---|
| Ligne 121: | Ligne 121: | ||
| * 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 ; | ||
| * ou le titre du menu avancé et le titre exact du sous-menu séparés par le caractère **>**. Le tout mis entre guillemets. Par exemple: //GRUB_DEFAULT="Options avancées pour Ubuntu>Ubuntu, avec Linux 4.15.0-176-generic"// | * ou le titre du menu avancé et le titre exact du sous-menu séparés par le caractère **>**. Le tout mis entre guillemets. Par exemple: //GRUB_DEFAULT="Options avancées pour Ubuntu>Ubuntu, avec Linux 4.15.0-176-generic"// | ||
| - | * **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.) | + | * **"chiffre>chiffre"** le premier chiffre décrit un menu principal, le second chiffre décrit le sous-menu (Numérotation à partir de 0) . Ils doivent aussi être mis [[https://forum.ubuntu-fr.org/viewtopic.php?pid=22784310#p22784310|entre guillemets]]. 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** : | ||