Le Garage hermétique

Mise à jour du 6 novembre 2012 : Le paquet des extensions officielles de Gnome étant disponible dans les dépôts d'Ubuntu 12.10, l'équipe Webupd8 a décidé de ne plus maintenir ce dépôt. Ce qui suit n'est donc plus utile à partir de Gnome 3.6.

Sur ce blog, vous trouverez souvent des références à ce dépôt car il contient de nombreuses extensions intéressantes qui ne sont pas forcément sur le site Gnome et, même si elles sont disponibles sur ce site, les installer depuis un dépôt est avantageux en particulier pour toujours disposer des mises à jour (alors qu'il faut se rendre sur le site Gnome pour voir si l'extension propose une mise à jour).

Nous détaillerons donc dans ce billet comment faire pour que votre système accède à ce dépôt et quelles sont les extensions qu'il contient.

Cette méthode ne fonctionne que pour une distribution basée sur Ubuntu.

Ajouter le dépôt Webupd8

Pour ajouter le dépôt Webupd8 à vos sources, ouvrez un terminal et tapez :

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update

Les extensions du dépôt

Le problème de ce dépôt est qu'il contient des extensions pour Gnome 3.2 et des extensions pour Gnome 3.4 et qu'il n'est pas évident de savoir quelle extension est compatible avec votre système.

Le dépôt contient d'abord toutes les extensions officielles de Gnome en paquets distincts pour chacune (de la forme gnome-shell-extensions-nom-de-l-extension) pour Gnome 3.2 et en un seul paquet pour Gnome 3.4 (gnome-shell-extensions) que vous pouvez donc installer d'un seul coup en entrant dans un terminal :

sudo apt-get install gnome-shell-extensions

Le dépôt contient aussi d'autres extensions et certaines sont décrites sur ce blog mais vous pouvez les consulter dans l'application Synaptic (à installer si elle ne l'est pas) en filtrant les paquets par origine et entrez 'extension' dans le champ de recherche et vous verrez apparaître les extensions du dépôt Webupd8 :