Les extensions de Gnome Shell sont désactivées à chaque démarrage
J'utilise actuellement Ubuntu 14.04 LTS avec GNOME 3.12 et rencontre un problème avec l'outil Tweak. Chaque fois que je redémarre ma machine, tous les paramètres d’extension sont réinitialisés, ce qui est plutôt gênant. Je n'ai aucune idée d'où vient ce comportement. Des pensées?
Bien que cela semble être un bogue connu ( https://bugs.launchpad.net/ubuntu/+source/gnome-Shell/+bug/1236749 ), j'ai trouvé cette solution de contournement (comme indiqué dans le commentaire # 12 sur le rapport):
Définissez l'option sur "système par défaut" au lieu de "gnome ou classique", les extensions doivent maintenant rester activées après le redémarrage.
Je ne sais pas si cela fonctionne pour tout le monde, mais cela fonctionne pour ma configuration.
élaborer
J'espère que cela aidera à résoudre ce problème - au moins pour certains. Il y a trois entrées de connexion possibles dans le menu de session accessible via un rouage à gauche du bouton de connexion. Définissez l'option sur "valeur par défaut du système" au lieu de "gnome ou classique", les extensions doivent maintenant rester activées après le redémarrage.