Comment configurer les paramètres du chargeur de démarrage GRUB2
Ubuntu et la plupart des autres distributions Linux utilisent désormais le chargeur de démarrage GRUB2. Vous pouvez modifier ses paramètres pour sélectionner un système d'exploitation par défaut, définir une image d'arrière-plan et choisir la durée du compte à rebours de GRUB avant de démarrer automatiquement le système d'exploitation par défaut.
Nous avons configuré GRUB2 sur Ubuntu 24.04.1 ici, mais le processus devrait être similaire pour les autres distributions Linux. Vous avez peut-être personnalisé les paramètres du GRUB d'origine en modifiant son fichier menu.lst dans le passé, mais le processus est désormais différent.
Sommaire
Bases de configuration de GRUB2
GRUB2 n'utilise pas de fichier menu.lst. Au lieu de cela, son fichier de configuration principal est le fichier /boot/grub/grub.cfg. Cependant, vous ne devez pas modifier ce fichier à la main ! Ce fichier est uniquement destiné à l'usage propre de GRUB2. Il est automatiquement créé en exécutant la commande update-grub ou grub2-mkconfig en tant qu'utilisateur root, en d'autres termes, en exécutant sudo mise à jour-grub sur Ubuntu.
Vos propres paramètres GRUB sont stockés dans le fichier /etc/default/grub. Modifiez ce fichier pour modifier les paramètres de GRUB2. Les scripts se trouvent également dans le répertoire /etc/grub.d/. Par exemple, sur Ubuntu, il existe ici des scripts qui configurent le thème par défaut. Il existe également un script os-prober qui vérifie les disques durs internes du système pour d'autres systèmes d'exploitation installés (Windows, autres distributions Linux, Mac OS X, etc.) et les ajoute automatiquement au menu de GRUB2.
Lorsque vous exécutez la commande update-grub, GRUB combine automatiquement les paramètres du fichier /etc/default/grub, les scripts du répertoire /etc/grub.d/ et tout le reste, créant un /boot/grub/grub. fichier cfg lu au démarrage.
En d'autres termes, pour personnaliser vos paramètres GRUB2, vous devrez éditer le fichier /etc/default/grub puis exécuter le sudo mise à jour-grub commande, ou, sur Fedora Linux, la commande sudo grub2-mkconfig commande.
Modifier le fichier de configuration GRUB
Ouvrez le fichier /etc/default/grub pour le modifier dans un éditeur de texte standard. Si vous souhaitez utiliser un éditeur de texte graphique, ouvrez un terminal et exécutez la commande suivante :
gnome-text-editor /etc/default/grub
Alternativement, sur les anciennes versions d'Ubuntu, vous pouvez utiliser cette commande :
gedit /etc/default/grub
Pour un éditeur basé sur un terminal facile à utiliser, Nano, utilisez la commande suivante. Vous pouvez bien sûr utiliser n’importe quel éditeur de texte de votre choix, y compris l’éditeur de texte vi standard.
sudo nano /etc/default/grub
Le fichier /etc/default/grub est court et devrait être facile à modifier. Comme pour tout autre fichier de configuration, vous devez modifier les options selon l'état souhaité, puis modifier le fichier. Si l'une des options ci-dessous n'apparaît pas déjà dans le fichier, ajoutez-la sur une nouvelle ligne. Si tel est le cas, modifiez la ligne existante au lieu d’en ajouter une en double.
Choisissez le système d'exploitation par défaut
Pour définir un autre système d'exploitation installé sur votre système par défaut, modifiez la ligne GRUB_DEFAULT=. GRUB_DEFAULT=0 utilise la première entrée par défaut. Remplacez le nombre par 1 pour utiliser la deuxième entrée, 2 pour utiliser la troisième entrée, ou ainsi de suite.
Vous pouvez également utiliser GRUB_DEFAULT=enregistré et GRUB démarrerait automatiquement le dernier système d'exploitation que vous avez choisi à chaque démarrage. Vous pouvez également spécifier une étiquette entre guillemets. Par exemple, si vous aviez un système d'exploitation nommé Windows Boot Manager dans votre liste de systèmes d'exploitation, vous pouvez utiliser GRUB_DEFAULT= »Gestionnaire de démarrage Windows »
Enregistrer un système d'exploitation par défaut
Si vous choisissez GRUB_DEFAULT=enregistrévous devez également ajouter un GRUB_SAVEDEFAULT=vrai doubler. Sinon, ça ne marchera pas.
Choisissez si GRUB est masqué
Avec un seul système d'exploitation installé, Ubuntu utilise par défaut GRUB pour démarrer automatiquement sur le système d'exploitation par défaut avec le GRUB_HIDDEN_TIMEOUT=0 option. Cette option spécifie que GRUB sera masqué et qu'il démarrera automatiquement sur le système d'exploitation par défaut après 0 seconde, immédiatement, en d'autres termes. Vous pouvez toujours accéder au menu en maintenant Shift pendant le démarrage de votre ordinateur.
Pour définir un délai d'expiration plus élevé, utilisez quelque chose comme :
GRUB_HIDDEN_TIMEOUT=5
GRUB affichera un écran vide ou un écran de démarrage pendant cinq secondes, pendant lesquelles vous pourrez appuyer sur n'importe quelle touche pour afficher le menu. Pour éviter que GRUB ne soit automatiquement masqué, commentez la ligne : ajoutez simplement un # avant pour qu'elle se lise :
#GRUB_HIDDEN_TIMEOUT=0
Si GRUB n'est pas automatiquement masqué, vous verrez le menu à chaque démarrage de votre ordinateur. GRUB démarrera automatiquement le système d'exploitation par défaut après un certain temps, généralement dix secondes. Pendant ce temps, vous pouvez choisir un autre système d’exploitation ou le laisser démarrer automatiquement.
Pour modifier le délai d'attente, modifiez le GRUB_TIMEOUT=10 ligne et entrez le nombre de secondes que vous souhaitez. (N'oubliez pas que ceci n'est utilisé que si GRUB n'est pas masqué.) Pour empêcher GRUB de démarrer automatiquement et toujours attendre que vous choisissiez un système d'exploitation, remplacez la ligne par :
GRUB_TIMEOUT=-1
Choisissez une image d'arrière-plan
La ligne GRUB_BACKGROUND contrôle si une image d'arrière-plan est utilisée. Par défaut, GRUB utilise un aspect monochrome blanc sur noir. Vous pouvez ajouter une ligne comme GRUB_BACKGROUND= »/home/user/Pictures/background.png » pour spécifier un fichier image que GRUB utilisera.
GRUB prend en charge les fichiers image JPG/JPEG, PNG et TGA. Dans le passé, nous mettions en garde contre l’utilisation de fichiers JPG car ils étaient limités à 256 couleurs. Cependant, lors de nos tests et recherches, cela ne semble plus être le cas, vous pouvez donc utiliser le format de votre choix.
Faites en sorte que vos modifications prennent effet
Pour que vos modifications prennent effet, enregistrez simplement le fichier texte en utilisant le menu Hamburger > Enregistrer dans l'éditeur de texte GNOME ou Ctrl+O, puis Entrée pour enregistrer le fichier dans Nano, puis exécutez le sudo mise à jour-grub commande. Si vous utilisez Fedora Linux, utilisez plutôt le sudo grub2-mkconfig commande. Vos modifications feront partie du fichier grub.cfg et seront utilisées à chaque démarrage de votre ordinateur.
Ce ne sont pas tous les paramètres de GRUB, mais ils font partie des paramètres les plus fréquemment modifiés. D'autres paramètres peuvent être personnalisés dans le fichier /etc/default/grub ou en éditant les scripts dans le répertoire /etc/grub.d.
Si vous ne souhaitez pas modifier les fichiers à la main, vous pourrez peut-être trouver des outils graphiques pour personnaliser GRUB2 dans les référentiels de logiciels de votre distribution Linux. La méthode ci-dessus devrait fonctionner même sur les distributions Linux où de tels outils ne sont pas facilement disponibles, ou si vous disposez simplement d'un accès en ligne de commande et souhaitez le faire manuellement.