Blogotext

Blog

How to manualy install a gnome-shell extension

icon 08/05/2015

You just need to unzip the extension in the ~/.local/share/gnome-shell/extensions folder and rename the extracted folder according to the UUID declared in the metadata.json file.

Eg : You want to install topicons, from extensions.gnome.org/extension/495/topicons/. From the extension homepage, you can find the latest version source (as of may 2015) :
% cd ~/.local/share/gnome-shell/extensions
% wget http://94.247.144.115/repo/topicons/snapshot/topicons-26.zip
% unzip topicons-26.zip
# you can edit and check the extension
% grep uuid topicons-26//metadata.json
  "uuid": "topIcons@adel.gadllah@gmail.com",
% mv topicons-26 topIcons@adel.gadllah@gmail.com

You should now be able to enable the extension from gnome-shell-extension-prefs.
If the extension does not show up as it happened with me, you should try to reload gnome-shell (alt+F2, r, then enter).

icon Tags de l'article :

No comments

icon Flux RSS des commentaires de cet article

Notice : Your comment will be visible after approbation by the webmaster.