How to manualy install a gnome-shell extension
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) :
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).
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).
No comments
Flux RSS des commentaires de cet article