Ubuntu – Gnome Tweak Tool n’affiche pas d’extensions

Je ne peux pas utiliser l’utilisateur le thème gnome-shell-extensions-user-theme car il n’y a pas de bouton sur l’outil de réglage pour activer les extensions!
J’ai complètement désinstallé et réinstallé l’outil gnome-tweak, aucune différence. Aucune suggestion?
Bruce.

Meilleure réponse

  • J’ai eu le même problème. Semble que le fichiermetadata.jsona une mauvaise version du shell. Au moins pour Ubuntu 11.10. Pour résoudre le problème, j’ai dû:

    • cd ~ / .local / share / gnome-shell / extensions /
    • cd dans le répertoire d’extension souhaité.
    • éditez le fichier metadata.json et changez
    "shell-version": ["3.3.2"]
    à
    "shell-version": ["3.2"],
    • déconnectez-vous de Gnome-Shell et reconnectez-vous. Vous devriez maintenant voir toutes les extensions dans gnome-tweak-tool.