J'ai installé le shell GNOME dans Ubuntu 12.04 et je veux changer le "thème du shell", mais cela ne me permet pas de le faire.
L'alerte dit quelque chose comme: "L'extension GNOME-Shell n'est pas activée", et je veux l'installer avec la console, mais cela me renvoie une erreur.
Comment puis-je résoudre ce problème?
gnome-shell-extensions
ne semble pas être disponible en 12.04. Savez-vous comment l'obtenir?