Bonjour,

J'essaie depuis ce matin de changer mon thème de gnome shell mais impossible. Lorsque je veux activer "Users Themes" la case est grisée et je peux pas activer cette extension.

Je sous debian testing (stretch).

Pouvez-vous m'aidez s'il vous plait ?

Cordialement,
Royce

Screens ? SpoilAfficherMasquerà tous les coups tu l'as bien activée mais c'est juste grisé dans "apparence" parce que tu n'as pas relancé l'outil de personnalisation

Et sur le petit triangle orange c'est écrit : "L'extension ne prend en compte cette version du Shell".

Et dans "Apparence" :

Ah ouiiiiii pardon, t'es avec testing, ils proposent peut-être des versions de Gnome cheloues
Désinstalle l'extension et réinstalle la bonne version depuis https://git.gnome.org/browse/gnome-shell-extensions/refs/tags pour voir si ça change quelque chose
(j'imagine que c'est une extension impossible à désintaller, non ? jdis ça car tes boutons "retirer" semblent grisés eux aussi )

J'ai donc installé en fonction de ma version. Presque toutes les extensions se sont installés sauf celle que j'ai besoin ...

Merci de ta réponse déjà

Ca fonctionne !!

Merci à toi !

Il fallait que j'installe l'extension à la main dans "extensions/user theme" avec un make. J'ai redémarré le PC et ça fonctionne, on peut activer un thème !

Merci encore :D