Les extensions et le tweak de Gnomeshell

Edit du 29/10/2011: oubliez ce qui suit et rendez-vous directement sur webupd8 pour installer ultra facilement les extensions gnome-shell

Et bien voilà qui est fait, gnomeshell a pris place sur ma distribution unbuntu 11.10. Oneiric Ocelot toujours en béta jusqu’au 13/10, installation cependant anticipée grâce à la commande
gksudo « update-manager –devel-release »

Une fois la mise à niveau terminée, il faut installer à la main gnomeshell, puisque la distribution n’est livrée qu’avec l’interface Unity
sudo apt-get install gnome-shell

Après un redémarrage, dépaysement total, pas besoin de détailler, car le web regorge de sujets présentant le bureau gnome 3.

J’évoquerai ici uniquement ce qui intéresse passionne le geek: la personnalisation, le tweak, le custom, le bonheur quoi! La résistance au changement étant naturelle, je pense qu’elle explique pour beaucoup le sentiment mitigé au sujet du dernier Gnome. Personnellement j’ai plutôt tendance à rechercher les nouvelles expériences informatiques, du coup je me suis rapidement fait à ce nouveau gestionnaire de bureau. Cependant certaines fonctions basiques manquent et parmi elles, la possibilité d’éteindre ou rebooter directement la machine, sans repasser par l’ écran de connexion lightdm (remplaçant l’ancestral gdm pour le login).

Heureusement il est possible de customiser gnome shell pour retrouver le lien éteindre : les extensions.
C’est ici que cela se corse, car pour réussir à mettre cela en musique il va falloir tout de même mettre les mains dedans comme on dit! N’ayant pas trouvé sur le web de méthode complète et fiable de bout en bout, je vous livre ici ma recette pour installer une extension gnomeshell et l’activer.

Prêts, allons-y!

  • Lancer un terminal
  • installer gnome-tweak-tool et gnome-common

sudo apt-get install gnome-tweak-tool
sudo apt-get install gnome-common

  • charger en local les repositery codes sources de gnome extension

git clone git://git.gnome.org/gnome-shell-extensions

  • Compiler l’extension souhaitée en l’occurence alternative-status-menu
    (il en serait de même pour une autre extension, voir ici la liste complète)

cd gnome-shell-extensions
./autogen.sh –prefix=/usr –enable-extensions= »alternative-status-menu »
make install

  • enfin activer ladite extension, pour cela fermer la session gnome, se reconnecter puis

lancer Advanced Settings ( depuis le dash gnomeshell) ou alors en ligne de commande
gnome-tweak-tool
Et là si tout s’est bien passé, sur l’onglet extension vous pouvez activer « Alternative Status Menu Extension »


à présent en cliquant en haut à droite sur votre nom, vous avez le lien Éteindre!
simple et intuitif;-)

AVANT APRES

 Ajoutons que gnome-tweak-tools permet aussi de personnaliser les boutons de contrôle des fenêtres, car par défaut gnomeshell n’affiche que la croix de fermeture, mais pas le bouton minimiser ni agrandir (l’agrandissement se fait par double-clic sur la barre, ou en glissant la barre titre en haut de l’écran)
On peut aussi forcer l’affichage de l’icône Ordinateur sur le bureau (idem pour home, réseau…)

Pour changer ou ajouter des élément au menu (applications) taper menu dans la zone recherche du dash, et lancer l’application main menu / menu principal.

Gnome shell n’est donc finalement pas aussi inflexible qu’il en a l’air!

One comment on “Les extensions et le tweak de Gnomeshell

  1. Pingback: Extensions Gnomeshell pour les nuls | Geek01

Laisser un commentaire

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

*

Vous pouvez utiliser ces balises et attributs HTML : <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>