web-dev-qa-db-fra.com

Les extensions de Gnome Shell sont désactivées après le redémarrage

J'utilise Ubuntu 14.10 avec Gnome 3.14 du PPA de Gnome 3. Le problème persiste depuis environ un an maintenant, car chaque fois que je me déconnecte, je perds toutes mes extensions activées, à l'exception de Media Player. Auparavant, je réussissais à résoudre 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 tiret. J'ai également essayé de remplacer ma session de démarrage par "session par défaut", ce qui a fonctionné comme solution.

Il semble maintenant n'y avoir aucun travail autour de ce problème très ennuyant et persistant avec Gnome. C’est un problème qui se cache depuis au moins un an maintenant avec beaucoup d’utilisateurs affectés et rien que la solution de contournement de la charge au démarrage proposée. Franchement, je ne sais pas comment permettre à un tel insecte chronique de rester assis pendant plus d'un an.

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

Stephen

gnomegnome-shellgnome-shell-extension
9
Stephen Brightwood

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 active au démarrage.

Obtenir la liste des extensions

Commencez par activer les extensions que vous souhaitez activer. Nous générons ensuite une liste avec ceux-ci:

Dans le terminal (Ctrl + Alt + T), lancez

gsettings get org.gnome.Shell enabled-extensions

Il retourne une liste avec vos extensions actuellement actives à la

['[email protected]', '[email protected]']

Définition des 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 permettant de définir des extensions au démarrage

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

  1. Aller à par exemple votre dossier personnel et créez un nouveau fichier vide. Nommez-le script_name.sh (seule l'extension compte). Démarrez le nom du fichier avec un arrêt complet . si vous souhaitez le masquer.

  2. Dans ce fichier, écrivez

#!/bin/bash

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

Puis sauvegardez le fichier, bien sûr :)

  1. Rendre le fichier exécutable, par exemple. by right click > Properties > Permissions > Check "Allow executing file as program" Vous pouvez également modifier les autorisations du terminal en exécutant chmod ugo+x script_name.sh dans le dossier du script.

  2. Faites-le au démarrage du système (je ne sais pas comment faire autrement this ): dans ~/.config/autostart/ créez un fichier nommé some_name2.desktop et mettez-le

[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= devrait être à l'emplacement du script créé à l'étape 2. Encore une fois, sauvegardez le fichier :)

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

Activer et désactiver des extensions

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

Mots finaux

J'espère que cela fonctionne dans 3.14, aussi.

4
Rasmus

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 (il devrait persister maintenant après les redémarrages)
2
shemarcl

J'ai eu exactement le même problème avec Ubuntu 14.10 avec GNOME 3.14 à partir des PPA de GNOME 3. J'ai donc essayé cette solution , mais le vrai défi pour moi était de trouver le réglage à sélectionner System Default au lieu de GNOME sur l'écran de connexion d'Ubuntu GNOME

Ubuntu GNOME login screen

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

1
parth

Ce problème ne s’applique pas aux nouveaux comptes d’utilisateur, ce qui suggère un problème lié aux fichiers de paramètres Gnome conservés dans les versions précédentes mises à niveau de Gnome Shell.

Je vais étudier la possibilité de réinitialiser les paramètres du compte.

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

0
Stephen Brightwood