Ce mémo a été publié le 24 juin 2012 et peut contenir des informations qui peuvent être incomplètes, non mises à jour voir erronées du fait de son ancienneté.
N'hésitez pas à compléter votre recherche sur des articles plus récents.
Petites astuces pour lister les extensions Gnome 3.x installées.
Les extensions sont installées dans le répertoire :
1 |
/home/<user>/.local/share/gnome-shell/extensions |
Autre possibilité, utiliser Looking Glass
- Alt+F2
- Saisir « lg » puis valider
Cliquer sur l’onglet « Extensions »