Modifier le fichier de configuration de GRUB

Exemple avec un dual boot Windows 10 / Linux mint 22.1

Éditez le fichier de configuration de GRUB avec les droits superutilisateur (nano) :

sudo nano /etc/default/grub

Une fois le fichier modifié mettez à jour GRUB pour appliquer les changements :

sudo update-grub

Rédémarrez votre ordinateur :

sudo reboot

Exemples de valeurs que l’on peut modifier

Pour modifier le temps d’attente

On peut changer la valeur de GRUB_TIMEOUT à un nombre inférieur pour réduire le temps d’attente au démarrage :

GRUB_TIMEOUT=10

Pour que le menu de GRUB soit visible au démarrage

On peut remplacer GRUB_TIMEOUT_STYLE=hidden (le menu de GRUB est masqué on doit appuyer sur la touche [Shift]) par GRUB_TIMEOUT_STYLE=menu (le menu GRUB est toujours affiché au démarrage, et le compte à rebours est également visible).

Pour avoir l’affichage des informations lors du démarrage

On peut remplacer GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" par GRUB_CMDLINE_LINUX_DEFAULT="text" pour que les informations s’affichent lors du démarrage de Linux.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Retour en haut