Au plus rapide

(mise à jour du 21 mai 2011)

Il existe un pack pré-compilé d'extensions pour Gnome-Shell. Gracieusement mises à disposition par Charles Bowman sur sa page personnelle.

Tout est dit dans le fichier "README" présent dans l'archive proposée.

Pour ceux souhaitant savoir comment le faire par eux-même, lisez la suite !

Pré requis

Pour suivre ce tutoriel, il vous faut disposer de quelques paquets parmi lesquels le gestionnaire de version Git. Installez les en ouvrant un terminal et en saisissant la commande :

sudo apt-get install gnome-common git

Import du code du projet

Le projet repose sur un dépôt Git contenant tout le code source. Il faut donc l'importer puis le compiler. Commençons par l'import. Pour se faire, déplacez vous dans le répertoire de votre choix où sera importé le projet (commande "cd chemin_rep" dans votre terminal); enfin saisissez dans votre terminal la commande suivante :

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

Rendez-vous dans le répertoire ainsi rapatrié :

cd gnome-shell-extensions/

Et sélectionnez la branche 3.0.0 du projet :

git checkout 3.0.0

Installation d'extensions : théorie

Désormais vous avez tout le nécessaire pour installer une extension Gnome Shell. Cependant, encore faut-il avoir une idée des extensions que vous voulez réellement installer.

La liste des extensions disponibles est visible sur le site du projet, dont le lien se trouve un peu plus haut.

Cette documentation explique la manière d'installer une extension de manière générale au travers des commandes :

./autogen.sh --prefix=$HOME/.local --enable-extensions="one two three"
make install

Exemple d'installation d'extension

Dans ce tutoriel, nous nous contenterons d'installer une unique extension : le menu de session alternatif qui laisse l'option "Éteindre" toujours visible. À la fin, vous devriez obtenir le résultat suivant :

Gnome-Shell Extension - Alternate status menu

Toujours dans votre terminal, saisissez la commande suivante :

./autogen.sh --prefix=$HOME/.local --enable-extensions="alternative-status-menu"

Puis compilez et installez l'extension en saisissant ces deux autres commandes :

make
make install

Enfin, redémarrer Gnome Shell en faisant le raccourcis "Alt" + "F2" puis en saisissant "r" et en validant par la touche "Entrée". L'extension devrait dès lors être visible comme sur l'imprime écran d'exemple visible plus haut.

Suppression d'extensions Gnome Shell

La suppression d'extensions Gnome Shell semble plus complexe. Du moins, je n'ai pas trouvé de méthode passant par le script utilisé pour l'installation. J'ai cependant bien trouvé une solution qui consiste à supprimer le répertoire créé pour chaque extension installée. Ça a fonctionné sans aucun problème chez moi.

Pour le faire, rendez-vous dans le répertoire contenant les extensions et se trouvant dans votre dossier personnel :

cd ~/.local/share/gnome-shell/extensions

Puis supprimez le répertoire portant le nom de l'extension que vous souhaitez désinstaller. Par exemple, pour l'extension installée au dessus, nous ferions :

rm -R alternative-status-menu@gnome-shell-extensions.gnome.org

Enfin, pour voir le résultat, redémarrez Gnome Shell en faisant le raccourcis "Alt" + "F2" puis en saisissant "r" et en validant par la touche "Entrée".

Fin du tutoriel

Voilà, vous savez désormais comment installer et désinstaller une extension Gnome Shell.
Si vous constatez une erreur dans ce tutoriel, merci de me le signaler en utilisant les commentaires.