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
Pour activer/activer toutes les extensions à chaque démarrage:
Créez un dossier pour vos propres scripts:
mkdir ~/bin
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}]"
Configuration des autorisations pour le fichier de script:
chmod +x ~/bin/gnome-Shell-enable-all-extensions.sh
Enfin, met la commande au démarrage gnome-session-properties
:
/home/YOUR-USERNAME/bin/gnome-Shell-enable-all-extensions.sh
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.