Comment éditer GRUB avec la personnalisation de GRUB sous Linux

Lorsque vous démarrez un système d'exploitation sous Linux, et jusqu'à deux distributions Linux, vous obtenez un menu vous permettant de choisir entre deux systèmes d'exploitation à démarrer. Ce menu s'appelle grub et par défaut, il a l'air ennuyeux. Vous n’avez pas besoin de vous appuyer constamment sur cette liste, vous pouvez la personnaliser.

Comment modifier GRUB avec la personnalisation GRUB sous Linux - %categories

Nous examinons ici comment modifier et personnaliser un fichier grub à l’aide de GRUB Customizer.

Qu'est-ce que GRUB?

La plupart des utilisateurs de Windows n'ont pas entendu parler de termes tels que environnement de bureau ou grub, chargeur de démarrage, etc. Cela ne signifie pas que les utilisateurs de Windows sont stupides, mais Linux ne sait que des choses. C'est comme la dure leçon de vie que vous commencez à apprécier plus tard. Par exemple, il est possible que quelqu'un qui n'a pas vu la liste de grub sur cette page cherche des moyens de la personnaliser.

GRUB, n’est qu’un téléchargeur, c’est-à-dire qu’il charge le système d’exploitation en mémoire au démarrage. Toutes les distributions Linux utilisent le boot grub, ou grub2, pour être précis. Windows a également un téléchargeur qui ne vous permet pas d’exécuter autre chose que Windows. GRUB, d’autre part, vous permet d’exécuter tout système d’exploitation que vous avez installé.

Pourquoi éditer GRUB?

Il a l'air très mignon et ennuyeux par défaut. C'est pourquoi certaines personnes peuvent vouloir le personnaliser après avoir suffisamment d'aspect CLI. Cependant, il y a plus de raisons de modifier le vers que de simples raisons de surface. Par exemple, le système d'exploitation nouvellement installé est toujours l'option de démarrage par défaut. Donc, si cela ne vous intéresse pas, grub s'exécutera automatiquement après 10 secondes.

Lorsque vous double-démarrez Windows avec une distribution Linux, il est toujours préférable de définir Windows par défaut. Parce que vous savez comment fonctionnent les mises à jour Windows. Ils ont souvent besoin de redémarrer le système plusieurs fois, et avec Linux comme option par défaut, le système est exécuté sous Linux. Vos seules options sont de rester assis et de continuer à choisir Windows à chaque fois ou de modifier grub et de modifier l'ordre de démarrage.

Lisez aussi:  Comment héberger un nœud Monero sur Tor sous Linux

Fichier de configuration GRUB

Comme la plupart des applications Linux et même le système d'exploitation lui-même, grub, en tant que chargeur de démarrage, stocke ses configurations sous forme de fichiers texte modifiables quelque part dans le répertoire racine. Donc, vous pouvez éditer grub tout ce dont vous avez besoin est un éditeur de texte et des permissions root. Le fichier de configuration de l'utilisateur grub se trouve dans le dossier / etc / default / grub /.

Pour l'ouvrir dans un éditeur de texte convivial avec une interface graphique, vous pouvez utiliser la commande ci-dessous.

gksu gedit / etc / default / grub
Il vous demandera votre mot de passe et ouvrira le fichier en tant que root dans gedit, à condition que vous l'ayez installé. C'est l'éditeur de texte par défaut de GNOME, donc si vous utilisez le bureau GNOME, vous devriez déjà l'avoir installé. Si la commande ci-dessus ne fonctionne pas, vous pouvez essayer la commande ci-dessous.
sudo gedit / etc / default / grub

Comment modifier GRUB avec la personnalisation GRUB sous Linux - %categories

Installer le GRUB personnalisé

Bien que l'éditeur de texte soit une interface graphique, les configurations ne sont pas la vérité. Tout dépend du texte et vous devez vraiment savoir ce que vous faites. Pour la plupart des utilisateurs, il est préférable de choisir le personnalisateur Grub. C'est un simple outil conçu pour personnaliser GRUB, comme son nom l'indique. L'installation est aussi simple que copier et coller les trois commandes ci-dessous dans une station, une par une.
sudo add-apt-repository ppa: danielrichter2007 / grub-customizer sudo apt-get update mise à jour sudo apt-get install grub-customizer

La commande sudo apt-get update n'est pas nécessaire si vous utilisez des versions plus récentes d'Ubuntu.

Éditer GRUB avec la personnalisation de GRUB

Avec Grub Customizer installé, il est temps de le démarrer jusqu'à ce qu'il s'exécute, en utilisant l'une des applications de lancement que vous utilisez. Ou vous pouvez simplement entrer le personnalisateur de grub dans le terminal.

Lisez aussi:  20 des meilleures distributions Linux légères pour 2021

Comment modifier GRUB avec la personnalisation GRUB sous Linux - %categories

Vous devez entrer votre mot de passe pour ouvrir Grub Customizer, car il modifiera le système de fichiers racine. Il faut quelques secondes pour charger toutes les configurations.

Changer l'ordre de démarrage

La première chose que vous voyez lorsque vous ouvrez Grub Customizer est la séquence d'amorçage. Les changer est facile mais pas si simple. Sélectionnez l'entrée de démarrage que vous souhaitez déplacer, puis cliquez sur le bouton "Haut" ou "Bas" en haut, en fonction de l'endroit où vous souhaitez déplacer l'élément sélectionné. De même, vous pouvez également supprimer l'entrée sélectionnée en cliquant sur le bouton Supprimer.

Comment modifier GRUB avec la personnalisation GRUB sous Linux - %categories

Paramètres généraux

Dans l'onglet Paramètres généraux, vous pouvez modifier le délai en secondes pendant lequel grub attend l'entrée avant le démarrage en choisissant le démarrage par défaut. Il existe également la possibilité de désactiver entièrement la fonctionnalité.

Comment modifier GRUB avec la personnalisation GRUB sous Linux - %categories

Vous pouvez même aller de l'avant et désactiver complètement le fichier de démarrage en désélectionnant l'option de menu - show, située en dessous du niveau de visibilité. Ce n'est pas une option à essayer, bien que cela puisse vous bloquer d'autres systèmes d'exploitation.

Le seul paramètre que nous vous recommandons de modifier est la valeur par défaut. Vous pouvez choisir une entrée prédéfinie dans le menu du chargeur de démarrage comme option par défaut ou une entrée pré-initialisée.

Changer le fond du GRUB

Grub Customizer vous permet également de changer l’arrière-plan et les autres couleurs afin qu’elles soient plus belles qu’elles. Cela se produit sous l'onglet Paramètres d'apparence. Sur la droite, vous pouvez trouver des options pour changer la couleur de fond, la couleur du texte, la couleur du texte en surbrillance, la couleur de fond en surbrillance, etc. Vous pouvez également appliquer votre photo comme fond d’écran.

Comment modifier GRUB avec la personnalisation GRUB sous Linux - %categories

Toutefois, cela est risqué car l'image que vous appliquez doit répondre à certaines exigences. L'image doit être au format PNG, JPG ou TGA. Les images JPG / JPEG doivent être au format 8 (couleur 256), mais les images PNG ne nécessitent pas cette condition. Même dans ce cas, l'image doit être non indexée, RVB. C'est beaucoup de travail.

Lisez aussi:  Comment faire en sorte qu'Ubuntu ressemble à macOS Big Sur

Installer le thème GRUB

Si vous recherchez des personnalisations plus faciles, vous voudrez peut-être modifier l'attribut grub à la place. Non seulement il est facile de changer complètement le look. Vous pouvez trouver de nombreux attributs de grub sur gnome-look.org. Pour installer un thème, téléchargez-le et ajoutez-le à l'aide du bouton + situé à côté du menu déroulant «Thème» du grub customizer.

Le plus souvent, la méthode décrite ci-dessus peut ne pas fonctionner car un attribut pour une telle installation peut ne pas être créé. Dans ce cas, extrayez l'archive téléchargée. Ensuite, copiez ou déplacez le dossier d'attributs extraits vers le dossier / boot / grub / theme /. Cela nécessitera des privilèges root ou administrateur.

Comment modifier GRUB avec la personnalisation GRUB sous Linux - %categories

Assurez-vous que le dossier du thème contient un contenu similaire à ce que vous voyez ci-dessus. Sinon, le dossier du thème peut ne pas être après tout.

Changer l'attribut GRUB

Avec le thème en place, ouvrez le personnalisateur Grub et dirigez-vous sur l'onglet Apparence. Vous devriez pouvoir sélectionner un attribut grub dans le menu déroulant en regard de cet attribut.

Comment modifier GRUB avec la personnalisation GRUB sous Linux - %categories

Veillez à enregistrer vos modifications

Maintenant que vous savez comment apporter les modifications souhaitées, assurez-vous de ne pas oublier de les enregistrer. Grub Customizer n'applique pas automatiquement les modifications que vous apportez car il s'agit d'une tâche sensible. Si vous appliquez le mauvais paramètre, par exemple si vous appliquez la mauvaise image en arrière-plan, le grub risque de se briser. Cela signifie que vous ne pourrez pas démarrer sur l’un de vos systèmes d’exploitation tant que vous n'avez pas réparé le fichier. Veillez donc à changer quelque chose en lequel vous avez confiance et à ne pas oublier de cliquer sur Enregistrer.

Vous pourriez l'aimer aussi