Comment installer Grub Customizer sur Ubuntu et Linux Mint

Comment installer Grub Customizer sur Ubuntu et Linux Mint

D’une version à l’autre d’Ubuntu ou Linux Mint et autres distributions dérivées de la première, la méthode d’installation de Grub Customizer diffère. Aussi, voici un guide pour installer Grub Customizer sur Ubuntu ou Linux Mint (et autres dérivées) en fonction de la version de l’OS utilisée.

Qu’est-ce que Grub et Grub Customizer

GRUB (GRand Unified Bootloader) est un programme qui permet l’amorçage (démarrage) d’un système d’exploitation (OS). Et s’il y a plusieurs OS sur la machine, il permettra de choisir lequel démarrer. Il est utilisé par la plupart des distributions Linux.

Grub Customizer est un utilitaire graphique permettant personnaliser facilement la configuration GRUB :

  • Ordre du menu GRUB et entrées disponibles,
  • entrée sélectionnée par défaut,
  • sa visibilité,

Il évitera une édition manuelle des fichiers de configuration…

Avant de modifier GRUB, pensez à faire une sauvegarde de la configuration. Cela peut se faire avec la commande suivante :

sudo cp -Rp /etc/grub.d /etc/grub.d.backup

Installer Grub Customizer sur Ubuntu 20.04 et Linux Mint 20.x

Sur Ubuntu 20.04 “Focal Fossa” (et donc Linux Mint 20.x), Grub Customizer est disponible directement sur les dépôts officiels.

Pour l’installer, ouvrez un terminal et faites :

sudo apt install grub-customizer

Sinon, vous pouvez toujours le chercher et l’installer depuis votre gestionnaire d’applications (Ubuntu Software, Logithèque Linux Mint).

Installer Grub Customizer sur Ubuntu 22.04 et Linux Mint 21.x

Valide aussi sur Ubuntu 18.04 et Linux Mint 19.x

Sur Ubuntu 22.04 LTS “Jammy Jellyfish” (et sur Linux Mint 21), GRUB Customizer n’est plus disponible sur les dépôts de la distribution. En effet, durant le développement de cette version, un bug bloquant a été remonté. Depuis, ce dernier a été corrigé, mais l’utilitaire reste absent des dépôts officiels…

Heureusement, il existe un PPA qui le propose.

Pour ajouter ce PPA, ouvrez un terminal et faites :

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

Puis, rafraichissez le cache APT :

sudo apt update

Et, pour installer Grub Customizer, faites :

sudo apt install grub-customizer

Sinon, vous pouvez aussi le chercher et l’installer depuis votre gestionnaire d’applications.

Grub-Customizer dans Ubuntu software

Désinstaller Grub Customizer d’Ubuntu ou Linux Mint

Pour désinstaller Grub Customizer, c’est tout simple. Dans un terminal, faites :

sudo apt remove grub-customizer

et, pour supprimer le PPA, faites :

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

Pour aller plus loin

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée.

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.