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).