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 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] (Version actuelle)
?? [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]]**)
  • tutoriel/grub2_parametrage_manuel.txt
  • Dernière modification: Le 11/01/2019, 15:12
  • par ??