À chaque fois que je redémarre mon système (Ubuntu 14.04 avec gnome 3.12), toutes les extensions du gnome Shell sont désactivées. Je peux simplement les réactiver et ils fonctionnent bien jusqu'à ce que je redémarre à nouveau. Que puis-je faire pour que gnome redémarre les mêmes extensions Shell au démarrage?
GNOME 3.12 n'est pas disponible par défaut dans les référentiels Ubuntu pour 14.04. Vous devez avoir installé GNOME 3.12 à partir de PPA de staging de l’équipe GNOME . Ils avertissent que:
Les paquets ici ont été jugés non prêts pour une utilisation générale, ils ont des bugs connus et/ou des régressions, parfois critiques. Généralement, les choses devraient fonctionner sans heurts, mais soyez prêt à utiliser ppa-purge lorsque vous rencontrez des problèmes!
Vous devriez donc signaler un bogue à ce sujet, comme indiqué sur leur page Launchpad.
Toutefois, la solution de contournement que vous pouvez essayer est la suivante:
Activez toutes les extensions que vous souhaitez activer au démarrage.
Ensuite, exécutez la commande suivante:
$ gsettings get org.gnome.Shell enabled-extensions
Cela listerait toutes les extensions actuellement activées. Par exemple, le résultat pour moi est:
['[email protected]', '[email protected]', '[email protected]']
Maintenant, créez un fichier appelé enable_gnome_extensions.sh
dans le dossier ~/bin
avec le texte suivant:
gsettings set org.gnome.Shell enabled-extensions "<output_of_earlier_command_listing_enabled_extensions>"
Par exemple, je mettrais la ligne suivante pour mes extensions activées:
gsettings set org.gnome.Shell enabled-extensions "['[email protected]', '[email protected]', '[email protected]']"
Rendre ce fichier exécutable avec la commande suivante:
$ chmod +x ~/bin/enable_gnome_extensions.sh
Ajoutez ce fichier à vos applications de démarrage pour qu'il soit exécuté lors de la connexion. Suivez cette réponse pour savoir comment faire . La "commande" serait le chemin d'accès à ce fichier.
Redémarrez pour tester si cela fonctionne.