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 02/09/2019, 10:25] 92.148.138.227 [Sources] |
tutoriel:grub2_parametrage_manuel [Le 08/10/2019, 15:05] L'Africain info pour bionic |
||
---|---|---|---|
Ligne 10: | Ligne 10: | ||
Nous n'intervenons **pas directement** sur un fichier de configuration **mais** sur des fichiers de **paramètres** qui sont pris en compte uniquement lors du lancement d'une **commande de mise à jour** (update-grub). | Nous n'intervenons **pas directement** sur un fichier de configuration **mais** sur des fichiers de **paramètres** qui sont pris en compte uniquement lors du lancement d'une **commande de mise à jour** (update-grub). | ||
- | Les paramètrages sont **situés uniquement** dans le fichier **/etc/default/grub** et dans le dossier **/etc/grub.d/**. | + | Les paramétrages sont **situés uniquement** dans le fichier **/etc/default/grub** et dans le dossier **/etc/grub.d/**. |
==== Fichier grub.cfg ==== | ==== Fichier grub.cfg ==== | ||
Ligne 74: | Ligne 74: | ||
=== cas 1 === | === cas 1 === | ||
- | **Caché**. Grub lance sans attendre le choix par défaut. | + | **Caché**. Grub lance sans attendre le choix par défaut.\\ |
- | <note important>Ce paramétrage est applicable pour la version 16.04 mais ça ne fonctionne pas pour 18.04 et versions suivantes</note> | + | Pour Ubuntu 16.04 : |
<file>GRUB_HIDDEN_TIMEOUT=0 | <file>GRUB_HIDDEN_TIMEOUT=0 | ||
GRUB_HIDDEN_TIMEOUT_QUIET=true | GRUB_HIDDEN_TIMEOUT_QUIET=true | ||
GRUB_TIMEOUT=0 # dépendance: lorsque GRUB_HIDDEN_TIMEOUT est actif, ce paramètre doit être défini à 0</file> | GRUB_TIMEOUT=0 # dépendance: lorsque GRUB_HIDDEN_TIMEOUT est actif, ce paramètre doit être défini à 0</file> | ||
- | Remarque : avec GRUB_HIDDEN_TIMEOUT_QUIET=true, impossible de mettre en pause le démarrage en tapotant la touche Shift lors de l'affichage du menu. | + | Remarque : avec GRUB_HIDDEN_TIMEOUT_QUIET=true, impossible de mettre en pause le démarrage en tapotant la touche Shift lors de l'affichage du menu.\\ |
+ | Pour Ubuntu 18.04 : | ||
+ | <file>GRUB_TIMEOUT_STYLE=hidden</file> | ||
=== cas 2 === | === cas 2 === | ||
- | **Caché**. Un **décompte de 5 secondes** est lancé pendant lequel on peut appuyer sur les touches **Échap** ou majuscule (**Shift**) pour afficher le menu. Sans action de notre part, le choix par défaut est lancé. | + | **Caché**. Un **décompte de 5 secondes** est lancé pendant lequel on peut appuyer sur les touches **Échap** ou majuscule (**Shift**) pour afficher le menu. Sans action de notre part, le choix par défaut est lancé.\\ |
- | <note important>Ce paramétrage est applicable pour la version 16.04 mais ça ne fonctionne pas pour 18.04 et versions suivantes</note> | + | Pour Ubuntu 16.04 : |
<file>GRUB_HIDDEN_TIMEOUT=5 | <file>GRUB_HIDDEN_TIMEOUT=5 | ||
GRUB_HIDDEN_TIMEOUT_QUIET=false | GRUB_HIDDEN_TIMEOUT_QUIET=false | ||
GRUB_TIMEOUT=0 # dépendance: lorsque GRUB_HIDDEN_TIMEOUT est actif, ce paramètre doit être défini à 0</file> | GRUB_TIMEOUT=0 # dépendance: lorsque GRUB_HIDDEN_TIMEOUT est actif, ce paramètre doit être défini à 0</file> | ||
- | Remarque : puisque GRUB_HIDDEN_TIMEOUT_QUIET=false, alors on peux mettre en pause le démarrage en tapotant la touche Shift pour afficher le menu. | + | Remarque : puisque GRUB_HIDDEN_TIMEOUT_QUIET=false, alors on peux mettre en pause le démarrage en tapotant la touche Shift pour afficher le menu.\\ |
+ | Pour Ubuntu 18.04 : | ||
+ | <file>GRUB_TIMEOUT_STYLE=false | ||
+ | GRUB_TIMEOUT= (aucune valeur)</file> | ||
=== cas 3 === | === cas 3 === | ||
- | **Affiché directement**. | + | **Affiché directement**.\\ |
- | <note important>Ce paramétrage est applicable pour la version 16.04 mais ça ne fonctionne pas pour 18.04 et versions suivantes</note> | + | Pour Ubuntu 16.04 : |
<file>#GRUB_HIDDEN_TIMEOUT=0 | <file>#GRUB_HIDDEN_TIMEOUT=0 | ||
GRUB_HIDDEN_TIMEOUT_QUIET=true | GRUB_HIDDEN_TIMEOUT_QUIET=true | ||
GRUB_TIMEOUT=10 # ne pas laisser à zéro si vous voulez avoir le temps de sélectionner éventuellement un autre système.</file> | GRUB_TIMEOUT=10 # ne pas laisser à zéro si vous voulez avoir le temps de sélectionner éventuellement un autre système.</file> | ||
+ | Pour Ubuntu 18.04 : | ||
+ | <code>#GRUB_TIMEOUT_STYLE=hidden</code> | ||
==== Intitulé dans le menu ==== | ==== Intitulé dans le menu ==== | ||
**Par défaut**, la ligne du menu grub concernant la distribution sur laquelle vous êtes affiche **« Ubuntu GNU/Linux »**. Que vous soyez sur une **variante** (Xubuntu, Lubuntu, Kubuntu,..) ou sur un **dérivé** (Linux Mint,..), l'intitulé reste **le même** car il dépend de la commande 'lsb_release'. | **Par défaut**, la ligne du menu grub concernant la distribution sur laquelle vous êtes affiche **« Ubuntu GNU/Linux »**. Que vous soyez sur une **variante** (Xubuntu, Lubuntu, Kubuntu,..) ou sur un **dérivé** (Linux Mint,..), l'intitulé reste **le même** car il dépend de la commande 'lsb_release'. |