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 | Prochaine révision Les deux révisions suivantes | ||
|
tutoriel:grub2_parametrage_manuel [Le 11/01/2019, 15:11] ?? [Fichier /etc/default/grub] Ajout de GRUB_TIMEOUT_STYLE=hidden |
tutoriel:grub2_parametrage_manuel [Le 11/01/2019, 15:12] ?? [Fichier /etc/default/grub] |
||
|---|---|---|---|
| Ligne 23: | Ligne 23: | ||
| * **#GRUB_HIDDEN_TIMEOUT=0** : avec le « # », le menu de grub sera visible. Sans le « # », le menu de grub sera invisible. (-> **[[#Afficher/Masquer le menu|Détails]]**) | * **#GRUB_HIDDEN_TIMEOUT=0** : avec le « # », le menu de grub sera visible. Sans le « # », le menu de grub sera invisible. (-> **[[#Afficher/Masquer le menu|Détails]]**) | ||
| * **GRUB_HIDDEN_TIMEOUT_QUIET=false** De pair avec ‘GRUB_HIDDEN_TIMEOUT’. (-> **[[#Afficher/Masquer le menu|Détails]]**) | * **GRUB_HIDDEN_TIMEOUT_QUIET=false** De pair avec ‘GRUB_HIDDEN_TIMEOUT’. (-> **[[#Afficher/Masquer le menu|Détails]]**) | ||
| - | * **GRUB_TIMEOUT_STYLE=hidden** Paramètre apparu avec la versio 18.04.1 en remplacement des deux qui précèdent. | + | * **GRUB_TIMEOUT_STYLE=hidden** Paramètre apparu avec la version 18.04.1 en remplacement des deux qui précèdent. |
| * **GRUB_TIMEOUT=10** est la durée en secondes de l’affichage du menu avant de se lancer sur le menu sélectionné par défaut. (-> **[[#Menu par défaut|Détails]]**) | * **GRUB_TIMEOUT=10** est la durée en secondes de l’affichage du menu avant de se lancer sur le menu sélectionné par défaut. (-> **[[#Menu par défaut|Détails]]**) | ||
| * **GRUB_DISTRIBUTOR=``** est la ligne qui définit la syntaxe des titres du menu (-> **[[#Intitulé dans le menu|Détails]]**) | * **GRUB_DISTRIBUTOR=``** est la ligne qui définit la syntaxe des titres du menu (-> **[[#Intitulé dans le menu|Détails]]**) | ||