Bonjour
J'utilise Gnome3 sur Fedora 15 depuis peu de temps, mais ce matin j'ai constaté que les extensions que j'avais installé ne marchent pas, y a t-il un moyen de les lancer manuellement.
A titre d'information :
Parmi les extensions, j'utilise gnome-shell-extension-dock, voici la liste des fichiers dans le système:
/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dock.gschema.xml
/usr/share/gnome-shell/extensions/
dock@gnome-shell-extensions.gnome.org
/usr/share/gnome-shell/extensions/
dock@gnome-shell-extensions.gnome.org/extension.js
/usr/share/gnome-shell/extensions/
dock@gnome-shell-extensions.gnome.org/metadata.json
/usr/share/gnome-shell/extensions/
dock@gnome-shell-extensions.gnome.org/stylesheet.css
Aussi dans gnome-tweak-tool, la liste des extensions installées est vide
Merci
