GRUB : Configurer le démarrage du PC
Table des matières
Voici quelques astuces de paramétrage de GRUB 2.
C'est un peu en vrac mais bon !
Le fichier /boot/grub/grub.cfg (parfois situé dans /boot/grub2) est généré automatiquement par la commande grub-mkconfig (ou grub2-mkconfig).
Il n'est pas à modifier manuellement.
Pour configurer le GRUB, on va donc éditer le fichier /etc/default/grub
Une fois modifié, on regénèrera le fichier grub.cfg avec :
ou
A adapter en fonction de votre distribution.
On peut modifier le temps d'affichage de la liste des systèmes à lancer.
Par défaut, ce temps est de 10 secondes sur Ubuntu, 8 secondes sur OpenSuse.
Pour modifier ce timer, modifier la valeur de GRUB_TIMEOUT=. La valeur à indiquer est en secondes.
Une valeur de 0 bootera directement l'entrée par défaut.
Une valeur de -1 laissera affiché la liste jusqu’à ce que l'utilisateur indique son choix.
Introduction
Voici quelques astuces de paramétrage de GRUB 2.
C'est un peu en vrac mais bon !
Configurer Grub
Le fichier /boot/grub/grub.cfg (parfois situé dans /boot/grub2) est généré automatiquement par la commande grub-mkconfig (ou grub2-mkconfig).
Il n'est pas à modifier manuellement.
Pour configurer le GRUB, on va donc éditer le fichier /etc/default/grub
Une fois modifié, on regénèrera le fichier grub.cfg avec :
Code BASH :
grub-mkconfig -o /boot/grub/grub.cfg
ou
Code BASH :
grub2-mkconfig -o /boot/grub2/grub.cfg
A adapter en fonction de votre distribution.
Modifier le temps d'affichage du menu
On peut modifier le temps d'affichage de la liste des systèmes à lancer.
Par défaut, ce temps est de 10 secondes sur Ubuntu, 8 secondes sur OpenSuse.
Pour modifier ce timer, modifier la valeur de GRUB_TIMEOUT=. La valeur à indiquer est en secondes.
Une valeur de 0 bootera directement l'entrée par défaut.
Une valeur de -1 laissera affiché la liste jusqu’à ce que l'utilisateur indique son choix.