Le chargeur d'amorçage GRUB

GRUB (GRand Unified Bootloader) est un chargeur d'amorçage très populaire utilisé par de nombreuses distributions Linux. Il vous permet de choisir parmi plusieurs systèmes d'exploitations installés sur votre ordinateur au démarrage du système. 

image.png

Qu'est-ce que GRUB ?

computer.png

GRUB est un programme d'amorçage (ou de multi-amorçage) qui permets de choisir et charger un système d'exploitation sur un ordinateur ou plusieurs systèmes sont installés. Il est capable de charger une large gamme de systèmes d'exploitations, et pas que Linux !

Installation de GRUB

Sur la plupart des systèmes Linux, GRUB est installé automatiquement lors de l'installation du système d'exploitation, c'est le cas d'Ubuntu que l'on a vu plus tôt. Cependant, si vous avez besoin de réinstaller GRUB, par exemple suite a une réparation d'un des systèmes d'exploitation installés ou après avoir installé un second OS, voici comment procéder sous une distribution utilisant "apt" comme Ubuntu :

# Met à jour la liste des paquets disponibles à partir des dépôts configurés
sudo apt-get update

# Installe le package GRUB2, qui est la plus utilisée par les distributions Linux récentes
sudo apt-get install grub2

# Installe GRUB sur le disque spécifié, ici /dev/sda
# /dev/sda représente généralement le premier disque dur dans un système Linux
sudo grub-install /dev/sda

# Met à jour la configuration de GRUB basée sur les systèmes d'exploitation détectés.
# Cette commande génère le fichier de configuration final de GRUB qui est utilisé au démarrage.
sudo update-grub

Assurez vous bien de remplacer "/dev/sda" par le nom de votre disque dur principal

Configuration de GRUB

computer-engineer.png

La configuration de GRUB peut être modifiée dans le fichier /etc/default/grub

Vous pouvez modifier ce fichier pour changer des choses comme le système d'exploitation par défaut, le délai avant le chargement automatique d'un OS, ou l'apparence du menu de démarrage.

sudo nano /etc/default/grub
GRUB_TIMEOUT=10

Vous pourrez trouver une liste de tout ce que l'on peut changer dans le fichier de configuration en suivant ce lien

Après chaque modification du fichier /etc/default/grub , n'oubliez pas d'enregistrer le fichier et de mettre à jour GRUB pour appliquer les changements

sudo update-grub

Dépannage de votre système

computer-engineer (1).png

Si vous avez des problèmes pour démarrer votre système, GRUB peut vous permettre de lancer les outils de dépannage

Dépannage de GRUB

Si GRUB est corrompu ou mal configuré, vous pouvez utiliser le shell GRUB pour réparer le démarrage du système

Vous pourrez trouver une liste des commandes GRUB juste ICI

En interface graphique

Il existe une application graphique nommée Grub Customizer qui permets de configurer plus facilement les réglages de GRUB.

Sur Ubuntu, ajoutez le PPA ppa:danielrichter2007/grub-customizer avec cette commande

sudo add-apt-repository ppa:danielrichter2007/grub-customizer

Rechargez votre liste des paquets avec la commande

sudo apt update

Installez ensuite le paquet grub-customizer.

sudo apt install grub-customizer

Utilisation de Grub Customizer

Une fois Grub Customizer lancé, vous pouvez voir toutes les entrées présentes actuellement sur votre gestionnaire d’amorçage GRUB

image.png

Vous pouvez renommer ces entrées en cliquant dessus
Vous pouvez déplacer avec les flèches pour mettre les entrées dans l'ordre de votre choix (Celui le plus haut sera celui qui sera choisi par défaut)
Vous pouvez enlever des entrées
Vous pouvez ajouter ou supprimer un script a votre configuration

Les autres onglets donnent accès a d'autres réglages

Dans l'onglet "Paramètres Généraux" vous pouvez :

image.png

Dans les "Paramètres d'Apparence"

image.png

Le bouton "Paramètres Avancés" donne un accès graphique à la configuration du fichier /etc/default/grub

image.png


Révision #4
Créé 22 avril 2024 18:47:34 par Renard
Mis à jour 22 avril 2024 20:31:11 par Renard