Un menu de démarrage plus accueillant sous elementary OS avec burg

BURG, pour Brand-new Universal loadeR from GRUB, est un chargeur d’amorçage, c’est-à-dire un logiciel permettant de lancer un ou plusieurs systèmes d’exploitation. Il est basé sur grub2. Son intérêt est l’ajout d’une interface graphique plus agréable que celle de GRUB.

Si vous utilisez elementary os 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.

[st_box title= »Astuces » type= »info »]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

[/st_box]

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