Page 1 sur 1
[Gnome-shell] Impossible d'installer des extensions...
Publié : lun. 05 nov. 2012, 21:35
par 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,
Re: [Gnome-shell] Impossible d'installer des extensions...
Publié : lun. 05 nov. 2012, 22:47
par Ichigo-Roku
Tu installes bien des extensions compatibles Gnome 3.6 ?
Re: [Gnome-shell] Impossible d'installer des extensions...
Publié : lun. 05 nov. 2012, 23:17
par xanataz
Re: [Gnome-shell] Impossible d'installer des extensions...
Publié : mar. 06 nov. 2012, 07:04
par Springbank
Ichigo-Roku a écrit :Tu installes bien des extensions compatibles Gnome 3.6 ?
Oui oui, elles le sont normalement car tourne bien sur autre pc
Re: [Gnome-shell] Impossible d'installer des extensions...
Publié : mer. 07 nov. 2012, 14:33
par 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.
Re: [Gnome-shell] Impossible d'installer des extensions...
Publié : mer. 07 nov. 2012, 21:03
par 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
Re: [Gnome-shell] Impossible d'installer des extensions...
Publié : sam. 10 nov. 2012, 08:46
par 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.
Re: [Gnome-shell] Impossible d'installer des extensions...
Publié : sam. 19 janv. 2013, 19:06
par 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é).