Un menu de démarrage plus accueillant avec BURG
Si vous utilisez elementary vous appréciez sans doute l'attention portée aux détails visuels en chaque coin du système. Mais un élément un peu rebutant reste présent: le chargeur d'amorçage GRUB qui apparaît à chaque démarrage. Elementary fait usage de ce système de boot comme la majorité des distributions Linux, car de par son omniprésence depuis plusieurs années GRUB est devenu très stable, éprouvé et documenté. Seulement il n'évolue que très peu.
C'est en partant de ce constat qu'un développeur a "forké" GRUB2, c'est à dire qu'il a modifié le code source à sa convenance, pour rendre possible un boot graphique: BURG est né. BURG profite de la maturité de GRUB tout en permettant d'utiliser de nombreux thèmes, et bien sûr il existe un thème elementary !
Installer BURG
Sans plus attendre installons BURG à l'aide des commandes suivantes : (acceptez simplement les questions posées par l'installation du paquet burg)
sudo add-apt-repository ppa:n-muench/burg sudo apt-get update sudo apt-get install burg burg-themes sudo burg-install "(hd0)"
Vous pouvez maintenant redémarrer et contempler BURG.
Pour installer un thème plus spécifique à elementary, rendez vous sur cette page et téléchargez l'archive .zip à partir du lien Download now à droite. Ensuite exécutez dans un terminal situé dans le dossier du téléchargement
unzip El_Castillo.zip sudo mv El_Castillo/ /boot/burg/themes/ sudo update-burg
Puis en rallumant choisissez ce nouveau thème dans le menu F2.
Astuces
Pour supprimer d'éventuels anciens noyaux Linux encombrant BURG d'entrée doubles, exécutez ces commandes :
sudo apt-get remove --purge $(dpkg -l 'linux-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\\(.*\\)-\\([^0-9]\\+\\)/\\1/")"'/d;s/^[^ ]* [^ ]* \\([^ ]*\\).*/\\1/;/[0-9]/!d') sudo update-burg
Réinstaller GRUB
En cas de problème ou si vous préférez tout simplement garder GRUB voici les commandes à entrer dans un terminal pour rétablir le boot existant à l'origine.
sudo grub-install "(hd0)" sudo apt-get remove burg burg-themes sudo rm /etc/apt/sources.list.d/n-muench-burg-precise.list sudo apt-get update
The post Un menu de démarrage plus accueillant avec BURG appeared first on elementary OS Fr.