Plop les bovins.
Grub Customizer vient de sortir en version 2.5.5. Il s’agit d’un petit qui va vous permettre de configurer à votre sauce les chargeurs de démarrage GRUB2 ou BRUG facilement de manière graphique.
Parmi les options disponibles on notera la possibilité :
De choisir les options affichées dans le menu de démarrage.
D’ajouter ou de supprimer un OS de la liste.
De spécifier le temps d’attente avant le chargement.
De déplacer l’ordre des noyaux dans la liste.
De paramétrer les options d’affichage.
C’est un outil sympa mais attention. Si vous ne savez pas ce que vous faites n’y touchez pas, vous risqueriez de ne plus pouvoir booter correctement sur votre système.
Il va sans dire que les routards de GNU/Linux préféreront éditer le fichier à la main avec un petit gksudo gedit /etc/default/grub …
Pour les autres, si vous voulez installer le bel animal sur Ubuntu il va falloir entrer les lignes suivantes dans votre terminal :
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update && sudo apt-get install grub-customizer
Amusez vous bien.
Moo !!!
Commentaires récents