[Gnome-shell] Impossible d'installer des extensions...

[Springbank]

Bonsoir,

Depuis le passage en full systemd, et la mise à jour en gnome 3.6, il m'est impossible d'installer des extensions depuis le site dédié.

Quand j'active une extension, il ne se passe rien...

Je ne sais même pas où aller chercher...

Si vous avez des pistes,

Cordialement,

[Ichigo-Roku]

Tu installes bien des extensions compatibles Gnome 3.6 ?

[xanataz]

Regarde ceci si ça peut t'aider
http://www.fandigital.com/2012/09/fix-u ... nsion.html

[Springbank]

Tu installes bien des extensions compatibles Gnome 3.6 ?

Oui oui, elles le sont normalement car tourne bien sur autre pc

[Eryole]

Peut-être en essayant de les activer via gnome-tweak-tool lancé par un terminal. Il me semble qu'un soucis lors de l'activation d'une extension laisse des traces en sortie d'erreur du shell.

Ca devrait permettre d'avoir plus d'info sur l'origine du problème.

[Springbank]

Le soucis, c'est qu'elle ne s'installe pas, elles ne sont donc pas visible via Gnome-tweak-tool.

Pour info, voici le pastebin
http://pastebin.archlinux.fr/452267

[pmalin]

J'ai rencontré le même problème, mais en créant un nouveau compte, j'ai réussi à installer les extensions à partir de firefox.
J'ai installé alors gnome-shell-extension-common-git et copié le dossier .local/share/gnome-shell/extensions du nouvel utilisateur dans mon dossier.
Ce n'est pas satisfaisant mais cela m'a dépanné en attendant mieux.

[anxest]

Pour ma part, je viens de m'en sortir en poussant plus loin la piste indiquée par pmalin.
Lorsqu'on crée un utilisateur dans gnome, il l'inclut dans un groupe du même nom. Comme ce n'était pas mon cas (groupe users par défaut), je me dis peut être qu'en créant un groupe du même nom que l'utilisateur lorsque l'on crée son id dans Arch, les conflits disparaîtraient. Je dis peut être car je ne connais pas encore assez bien le fonctionnement de Arch.
De mon coté, j'ai créé un second compte utilisateur dans gnome, puis après avoir sauvegardé mon précédent ~/ , j'ai supprimé mon compte original (en supprimant tous les fichiers) puis l'ai recréé, dans Gnome dans les deux cas.
A partir de là, je peux installer normalement toutes les extensions que je veux (même si je dois reconfigurer ma session, mais ce n'est jamais qu'un peu de temps de perdu, et je suis définitivement tranquille de ce coté).