Blogotext

Blog

Comment installer manuellement une extension gnome-shell

icon 08/05/2015 - No comments

Il suffit de dézipper l'extension dans le dossier ~/.local/share/gnome-shell/extensions et de renommer le dosier extrait en fonction de l'UUID déclaré dans le fichier metadata.json.

Ex : Pour installer topicons, de extensions.gnome.org/extension/495/topicons/. Vous trouverez la dernière version (en mai 2015)
de l'extension sur la page web de l'auteur de l'extension.

% cd ~/.local/share/gnome-shell/extensions
% wget http://94.247.144.115/repo/topicons/snapshot/topicons-26.zip
% unzip topicons-26.zip
# Vous pouvez regarder ce que contiennent les fichiers avant d'activer l'extension.
% grep uuid topicons-26//metadata.json
  "uuid": "topIcons@adel.gadllah@gmail.com",
% mv topicons-26 topIcons@adel.gadllah@gmail.com

Vous devriez maintenant être capable d'activer l'extension depuis l'interface de gnome-shell-extension-prefs.
Si rien ne semble se produire, comme dans mon cas, essayez de recharger gnome-shell (alt+F2, r puis entrée).

icon Tags de l'article :

How to manualy install a gnome-shell extension

icon 08/05/2015 - No comments

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 :