Photo par e_monk.
Installation de Grub Customizer
L'outil en question s'appelle Grub Customizer, créé par Daniel Richter. Il a fourni un PPA pour rendre l’installation de l’outil rapide et facile.
Ouvrez une fenêtre de terminal (Ctrl + Alt + T ou Applications> Accessoires> Terminal) et tapez les commandes suivantes.
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
Grub Customizer apparaît maintenant dans le menu Applications> Outils système.
gksudo grub-customizer
Masquer les options du menu de démarrage
Au fil du temps, votre menu de démarrage peut être encombré d'anciennes versions du noyau Linux. Dans un article précédent, nous vous avons montré comment les supprimer manuellement. Grub Customizer facilite beaucoup ce processus.
Lorsque Grub Customizer démarre, vous verrez une liste de tous les éléments qui apparaissent dans le menu de démarrage.
Notez que, contrairement à la méthode manuelle, ce processus ne supprime pas les noyaux de votre ordinateur, il les masque simplement dans le menu de démarrage.
Personnaliser le comportement de Grub
Grub Customizer peut faire beaucoup plus que cacher les entrées du menu de démarrage! Ouvrir la fenêtre Préférences vous permet de personnaliser presque tous les aspects de Grub.
Par exemple, vous pouvez définir l'entrée de menu de démarrage par défaut sur une certaine position ou sur un élément spécifique.
Merci à Hugues, commentateur de How-To Geek, d'avoir recommandé ce programme!
Consultez cet article sur les forums Ubuntu pour plus d'informations sur Grub Customizer.
