Mise à niveau des extensions de shell Gnome
J'ai récemment effectué une mise à niveau vers Ubuntu 12.04 et toutes les extensions gnome Shell répertoriées par l'outil Gnome Tweak sont désactivées. Quel est le moyen le plus simple de les réparer/mettre à niveau? Dois-je les supprimer, télécharger à nouveau et les installer manuellement?
Allez à extensions.gnome.org avec Firefox ou Epiphany, puis à "Extensions installées". Certains peuvent être grisés, cela signifie qu'ils ne sont pas disponibles dans Gnome 3.4, mais d'autres ont probablement une icône verte sur la gauche avec laquelle vous pouvez mettre à jour l'extension.
Il y a aussi un extension webupd8 pour mettre à jour toutes les extensions.
Notez que les instructions d'installation de l'article sont incorrectes et qu'elles devraient en réalité être:
Sudo apt-get install git-core gnome-common
git clone git://github.com/eonpatapon/gnome-Shell-extension-updater.git
cd gnome-Shell-extension-updater
./autogen.sh
make
Sudo make install