web-dev-qa-db-fra.com

Comment puis-je activer toutes les extensions Shell Gnome installées?

J'ai besoin de cela, car parfois, le shell Gnome "oublie" toutes les configurations de mes extensions après un redémarrage/un arrêt normal. Et je ne veux pas réinstaller tout le système pour cette raison.

Donc, je veux un script ou une commande à activer ensuite tout au démarrage de ma session (mettre dans gnome-session-properties) ou même un correctif pour ce problème.

J'utilise Ubuntu Gnome 13.04 sur Gnome Shell 3.8.3 (déclassement, maintenant sur v3.6.3.1)

Sortie de find ~/ \! -user $USER -print:

/home/mediacenter/.cache/dconf
find: `/home/mediacenter/.cache/dconf': Permission denied
/home/mediacenter/.gvfs
find: `/home/mediacenter/.gvfs': Permission denied
2
Maxwel Leite

Pour activer/activer toutes les extensions à chaque démarrage:

  1. Créez un dossier pour vos propres scripts:

    mkdir ~/bin

  2. Créez un fichier de script: gnome-Shell-enable-all-extensions.sh:

    nano ~/bin/gnome-Shell-enable-all-extensions.sh

    Avec contenu:

    #!/bin/bash sleep 2s # just in case cd ~/.local/share/gnome-Shell/extensions array=($(ls -l --time-style=long-iso | egrep '^d' | awk '{print $8}')) # get only the folder names from current path ext_list=$(printf "'%s'," "${array[@]}") # rebuild the string ext_list=${ext_list%,} # Remove the final character of the variable gsettings set org.gnome.Shell enabled-extensions "[${ext_list}]"

  3. Configuration des autorisations pour le fichier de script:

    chmod +x ~/bin/gnome-Shell-enable-all-extensions.sh

  4. Enfin, met la commande au démarrage gnome-session-properties:

    /home/YOUR-USERNAME/bin/gnome-Shell-enable-all-extensions.sh

4
Maxwel Leite

Je sais que c'est un peu tard, mais j'ai implémenté un script de solution dans python si celui ci-dessus ne vous satisfait pas.

https://github.com/loric-/enableGnomeExtensions.py

J'espère que le problème sera bientôt résolu.

0
Loric-