Mise à niveau des extensions de shell Gnome

J'ai récemment effectué une mise à niveau vers Ubuntu 12.04 et toutes les extensions de shell gnome 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?

12.04 gnome gnome-shell-extension

— Cerin
source

Réponses:

Allez sur extensions.gnome.org avec Firefox ou Epiphany, puis sur "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.

— jPlatte
source

Y a-t-il un autre moyen? Le site extensions.gnome.org est incroyablement buggy. J'ai une douzaine d'extensions installées, mais chaque page de ce site est vide ...

— Cerin

Il n'y a pas d'autre moyen encore. Mais cela ne fonctionnera probablement pas si vous les avez installés dans / usr / share / ... Essayez de les réinstaller via le site Web et assurez-vous que les scripts sont activés.

— jPlatte

C'est un site buggy. Je reçois une erreur JS pour le code: $.ajaxSettings.headers['X-CSRFToken'] = $.cookie('csrftoken');main.js ligne 13.

— Cerin le

Pour moi, ça marche très bien. Essayez epiphany ("Navigateur Web") si vous avez déjà utilisé FF.

— jPlatte

Il existe également une 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

— Cerin
source