Home » Blog » Apps » Un menu de démarrage plus accueillant sous elementary OS avec burg

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

Posté dans : Apps 10

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.

Screenshot GRUB

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 !

Screenshot BURG

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

10 Responses

  1. GuISm0
    | Répondre

    plutôt sympa ce menu de grub !

  2. Christian Jorion
    | Répondre

    Bonjour,

    Perso, ça a planté et au reboot j’avais juste « GRUB> ».

    J’ai dû réparé le Grub et ai trouvé les infos sur cette page : http://forum.ubuntu-fr.org/viewtopic.php?id=571711

    Par contre, sur le PC portable, ça a fonctionné sans problème…

    • Xenon132
      | Répondre

      Bizarre, il devait sans doute manquer VESA. Normalement tu aurais toujours pu booter elementary depuis le prompt GRUB> pour faire la récupération mais c’est pas vraiment l’effet recherché…

    • Eric Sacchi
      | Répondre

      merci Christian Jorion
      il m’est arrivé la même chose …
      atencion à mettre des astuces sans prévenir des possibles conséquences

  3. Charles
    | Répondre

    Merci Kido, pour l’article.
    Je pense que Grub doit évoluer. En tant que chargeur d’amorçage, il a damé le pion à Lilo. Cependant, il doit faire attention à ce que le Karma ne lui tombe dessus.
    S’il dort sur ses lauriers alors il serait temps d’encourager d’autres alternatives plus belles et plus fonctionnelles (si du moins elles existent !).
    Sinon, on va s’en contenter jusqu’au jour où…

  4. brubrux
    | Répondre

    Je l’ai testé hier soir à l’arrache. Juste en copiant/collant les instructions dans un terminal. Je n’ai eu aucun retour d’erreur pendant l’install. Et quand j’ai rebooté, la cata. J’avais « GRUB » et un message me disant qu’avec la touche « tab » je pouvais voir les commandes disponibles. Bref, je me suis surement planté quelque part. Vu que je ne sais pas « réparer » GRUB, j’ai installé une autre distri à côté et ca a remis GRUB à sa place. Dommage, ca avait graphiquement l’air très beau, et hautement configurable. Par contre, ca m’interesserait de savoir comment virer la deuxieme distri et remettre le GRUB initial.

  5. Arnaud
    | Répondre

    Info cool à savoir si comme moi vous avez une résolution pas terrible : au boot de GRUB appuyer sur la touche « r » pour avoir accès aux résolutions 😉

  6. blankoworld
    | Répondre

    Merci pour l’article, ça rend l’accueil de l’ordinateur plus agréable, exactement ce qu’il me fallait !

    En revanche, j’ai procédé autrement que dans le tuto :
    1/ ajout du papa
    2/ update d’APT
    3/ installation de burg et burg thème, PUIS redémarrage (sans aucun burg-install !!)
    4/ ça a fonctionné, j’ai donc ajouté le thème SANS faire d’update-burg
    5/ puis j’ai utilisé grub-customizer (avec le mode BURG) pour enlever les entrées non nécessaires et mettre à jour BURG comme il se doit
    6/ Enjoy o/

    Il ne me reste plus qu’à trouver ce qui fait que le thème El_Castillo choisisse telle ou telle icône pour une entrée spécifique du menu.

    • SckyzO
      | Répondre

      Bonjour @blankoworld:disqus et merci de ton retour
      Je tiens a mettre en garde les utilisateurs néophytes sur ta façon de faire.
      Le grub-update est exécuté au démarrage il semblerait. Seulement si tu avais eu un soucis de configuration ou autre, tu te serais retrouvé avec un PB de grub. Donc plus de démarrage. Beaucoup de personne je savent pas s’en sortir avec les PB de grub et préfèrent faire une réinstall plutôt que de « galérer ».
      L’avantage du grub update est donc de voir que tout ce passe bien et d’écrire le nouveau fichier d’amorcage.
      Donc ta technique est a prendre avec des pincettes 🙂
      Mais si elle a fonctionné pour toi il est probable que cela fonctionne pour d’autres personnes 🙂

  7. Pascalie
    | Répondre

    Bonjour,

    On aimerait vous inviter à découvrir un nouveau portail de partage.
    Sur http://www.partagora.com vous pouvez créer vos propres catalogues qui peuvent se composer de fichiers différents (les photos, vidéos, musique, articles, etc).
    Partagez avec vos amis et les autres internautes des fichiers sur les nouvelles technologies.
    C’est simple et gratuit.
    Découvrez le plaisir de partage sur http://www.partagora.com

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Ce site utilise Akismet pour réduire les indésirables. Découvrez comment les données de vos commentaires sont traitées.