Les extensions du shell Gnome sont désactivées après le redémarrage

J'utilise Ubuntu 14.10 avec Gnome 3.14 à partir des PPA de Gnome 3. J'ai un problème persistant depuis environ un an maintenant, chaque fois que je me déconnecte, je perds toutes mes extensions activées, à l'exception de Media Player. Auparavant, j'ai réussi à contourner ce problème en activant chacune des extensions au démarrage à l'aide de "gnome-session-manager", mais cela a maintenant disparu de Gnome 3.14 car il a été remplacé par des options de clic droit sur le tableau de bord. J'ai également essayé de faire par défaut ma session de démarrage sur "session par défaut" qui a fonctionné pour certaines personnes comme solution.

Il ne semble plus y avoir de solution pour ce problème très ennuyeux et persistant avec Gnome. C'est un problème qui se cache depuis au moins un an maintenant, avec de nombreux utilisateurs et rien d'autre que la charge au démarrage. Comment un tel bug chronique peut être autorisé à rester assis pendant plus d'un an me dépasse franchement.

Quelqu'un a-t-il de nouvelles idées pour une solution plus permanente à ce bug Gnome?

Stephen

Voici une solution de contournement dans l'esprit de cette réponse . Cela fonctionne au moins pour 3.12. L'idée est d'exporter une liste des extensions que vous souhaitez activer, puis d'écrire un script qui les activera au démarrage.

Obtenir la liste des extensions

Tout d'abord, activez les extensions que vous souhaitez activer. Nous générons ensuite une liste avec ceux-ci:

Dans le terminal ( Ctrl + Alt + T), exécutez

gsettings get org.gnome.shell enabled-extensions

Il renvoie une liste avec vos extensions actuellement actives à la

['Bottom_Panel@rmy.pobox.com', 'impatience@gfxmonk.net']

Définition d'extensions

Pour activer exactement les extensions de la liste, exécutez

gsettings set org.gnome.shell enabled-extensions ['extension_1',  'extension_2', 'extension_3']

mais avec votre propre liste, naturellement :)

Script pour définir des extensions au démarrage

Pour automatiser au démarrage, créez un script exécutant cette commande.

1. Accédez par exemple à votre dossier de départ et créez un nouveau fichier vide. Nommez-le script_name.sh(seule l'extension compte). Démarrez le nom du fichier par un point .si vous souhaitez qu'il soit masqué.

2. Dans ce fichier, écrivez

#!/bin/bash

gsettings set org.gnome.shell enabled-extensions ['extension_1',  'extension_2', 'extension_3']

Enregistrez ensuite le fichier, bien sûr :)

3. Rendez le fichier exécutable, par exemple par right click > Properties > Permissions > Check "Allow executing file as program" Alternativement, modifiez les autorisations du terminal en exécutant chmod ugo+x script_name.shdans le dossier du script.

4. Faites - le démarrage du système (je ne sais pas comment faire cela ): en ~/.config/autostart/créer un fichier appelé some_name2.desktopet il a mis

[Desktop Entry]
Name=your_prefered_name_here
Exec=/home/your_user_name/.script_name.sh
# Terminal=false
Type=Application
Hidden=false
StartupNotify=false
Name[en_US]=your_prefered_name_here

Le chemin après Exec=doit être à l'emplacement du script que vous avez créé à l'étape 2. Encore une fois, enregistrez le fichier :)

Peut-être immédiatement ou après le démarrage, vous devriez voir le script dans Gnome Tweak Tool sous Startup Applications. Il devrait également fonctionner au démarrage.

Activation et désactivation des extensions

Si vous souhaitez modifier les extensions exécutées, vous devez régénérer la liste, puis insérer la nouvelle liste dans l'exécution du script.

Mots finaux

J'espère que cela fonctionne aussi en 3.14.

Cela a fonctionné pour moi:

1. Exécuter dans le terminal: rm -rd ~/.cache
2. Redémarrer le système
3. Réactivez vos extensions (elles devraient persister lors des redémarrages maintenant)

J'ai eu exactement le même problème, en exécutant Ubuntu 14.10 avec GNOME 3.14 à partir des PPA GNOME 3. J'ai donc essayé cette solution , mais le vrai défi pour moi était de trouver le paramètre à sélectionner System Defaultau lieu de GNOMEsur l'écran de connexion d'Ubuntu GNOME

De plus, en raison de l' extension Topicons , les autres extensions ne sont toujours pas activées à la connexion.

Ce problème ne s'applique pas aux nouveaux comptes d'utilisateurs, ce qui suggère qu'il s'agit d'un problème causé par les fichiers de paramètres Gnome conservés à partir des versions précédentes mises à niveau de Gnome Shell.

J'examinerai la réinitialisation des paramètres du compte.

J'ai essayé de réinitialiser tous les détails du compte utilisateur Gnome pour mon utilisateur principal. Cela n'a pas fonctionné, donc ce n'est pas spécifique au compte.