En voulant installer une extension de gnome-shell à partir de https://extensions.gnome.org j'ai le message suivant:
"GNOME Shell Integration" plugin est installé et extensions.gnome.org est enregistré comme exception dans Préférences>Sécurité>Prévenir lorsque les sites essaient d'installer des modules complémentaires.We cannot detect a running copy of GNOME on this system, so some parts of the interface may be disabled. See our troubleshooting entry for more information.
J'utilise:
Code : Tout sélectionner
Linux debian 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt20-1+deb8u4 (2016-02-29) x86_64 GNU/Linux
Quelqu'un a-t-il une suggestion à me faire?gnome-shell 3.14.4-1~deb8u1
Ciao.
N.B.: j'ai vu que dconf, dconf-editor et la commande gsettings étaient plus ou moins liés.