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
la source
Réponses:
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écutezIl renvoie une liste avec vos extensions actuellement actives à la
Définition d'extensions
Pour activer exactement les extensions de la liste, exécutez
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.
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é.Dans ce fichier, écrivez
Enregistrez ensuite le fichier, bien sûr :)
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écutantchmod ugo+x script_name.sh
dans le dossier du script.Faites - le démarrage du système (je ne sais pas comment faire cela ): en
~/.config/autostart/
créer un fichier appelésome_name2.desktop
et il a misLe 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.
la source
Cela a fonctionné pour moi:
rm -rd ~/.cache
la source
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.
la source
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.
la source