Grub Customizer, l’outil graphique de configuration du chargeur de démarrage Grub, a reçu une nouvelle version il y a quelques jours. Le PPA ajoute le support pour Ubuntu 18.10 Cosmic Cuttlefish.
Grub Customizer est un outil simple qui propose :
- ajouter, supprimer, modifier les entrées du menu du chargeur de démarrage.
- Définir l’entrée par défaut du système d’exploitation, les paramètres du noyau, etc.
- Changer l’image de fond, la police de texte, la résolution, etc.
- Réinstallation du chargeur de démarrage à Windows MBR
La plus récente 5.1.0 comporte :
- Nouvelle icône d’application
- option de commande
-vpour afficher les infos de version. - Mises à jour de la traslation et quelques changements internes
Comment installer Grub Customizer 5.1.0 dans Ubuntu:
Pour Ubuntu 18.10, et les 3 versions Ubuntu LTS actuelles (14.04, 16.04, 18.04), installez les paquets de la nouvelle version via les étapes suivantes:
1. Ouvrez le terminal soit à partir du lanceur d’applications, soit via le raccourci clavier Ctrl+Alt+T. Quand il s’ouvre, collez la commande ci-dessous et exécutez-la pour ajouter le PPA officiel:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
Tapez le mot de passe de l’utilisateur (pas de retour d’astérisques pour des raisons de sécurité) quand il vous le demande et appuyez sur Entrée pour continuer.
2. Ensuite, mettez à jour les listes de paquets et installez le logiciel :
sudo apt-get updatesudo apt-get install grub-customizer
Vous pouvez sauter sudo apt-get update dans Ubuntu 18.04 et plus, puisque l’étape 1 d’ajout de PPA le font automatiquement.
Une fois installé, lancez-le à partir du menu d’application et profitez-en !
Désinstallation:
Pour supprimer le logiciel, exécutez la commande dans le terminal:
sudo apt-get remove --autoremove grub-customizer
Et ouvrez Software & Updates et naviguez vers l’onglet Other Software pour supprimer les dépôts PPA tiers.