Commentaires sur : Changer le thème de Gnome Shell depuis Gconf Tool ou Dconf Editor

Par : crowd42

crowd42 — Tue, 17 Jan 2012 16:13:54 +0000

Oui j’ai commencé à utiliser extension.gnome.org quelques jours après son lancement, celà dit j’attends toujours qu’ils mettent place un moteur de recherche interne.

Pour Gnome Shell, je partage totalement ton avis

Par : Julien Hacquard

Julien Hacquard — Tue, 17 Jan 2012 15:52:05 +0000

Sur les liens qui proposent la solution que j’ai postée plus haut ils parlent plus d’un bug entre fedora 16 et gnome-tweak-tool.

Une fois qu’on a passé la commande, on oublie vite le petit désagrément du début. Moi ca m’avait tellement énervé que j’avais viré Fedora 16 les premiers jours avant de chercher une solution pour faire fonctinoner gnome-tweak-tool

En passant, si tu te rends sur https://extensions.gnome.org/ tu peux activer et désactiver les extensions très simplement pour peu que tu utilises un navigateur compatible (firefox).

Ca commence à être vraiment fonctionnel et gnome-shell est du coup de plus en plus sympa a l’usage (c’est mon avis, me tapez pas).

Par : Kroar

Kroar — Tue, 17 Jan 2012 09:47:40 +0000

Il s’agit de celle du extensions.gnome.org.
Pas de celle du Paquet.

La modificication réalisé avec dconf modifie les
valeur de l’extension.

Sans l’extension, pour modifier le theme,
il faudrai obtenir les droits admin.
Ce qui n’est pas le cas

Par : crowd42

crowd42 — Tue, 17 Jan 2012 09:12:15 +0000

Merci, j’essayerai dès que je rentre chez moi. Tu n’as pas trouvé une explication à leurs choix ?

Par : crowd42

crowd42 — Tue, 17 Jan 2012 09:09:50 +0000

Message sur la page de l’extension “This extension is incompatible with your version of GNOME. This extension supports the GNOME unstable release, 3.3.3″

Par : Kroar

Kroar — Tue, 17 Jan 2012 08:52:45 +0000

”
j’ai compris que la version proposée n’était plus compatible avec gnome 3.2 (version stable) ”

Erreur . Elle est compatible. C’est Gnome-Tweak-Tools qui n’arrive pas à la detecter. ( Si elle n’etait pas compatible, la modification gsetting ne servirait a rien. )

”
Ouvrez Dconf-Editor/Gconf-Tool et allez à org.gnome.shell.extensions.user-theme et modifiez l’entrée name ”

Il suffit,aussi, ( pour faire plus rapide ) en ligne de commande de lancer :
gsettings set org.gnome.shell.extensions.user-theme name ‘nomTheme’

Par : Julien Hacquard

Julien Hacquard — Tue, 17 Jan 2012 08:38:23 +0000

Bonjour, Pour avoir eu le même problème, tu peux aussi "réactiver" l'option de gnome-tweak-tool en exécutant cette commande :


sed -i 's/THEME_EXT_NAME = "user-theme@gnome-shell-extensions.gnome.org"/THEME_EXT_NAME = "user-theme@gnome-shell-extensions.gcampax.github.com"/' /usr/lib/python2.7/site-packages/gtweak/tweaks/tweak_shell.py