Changer thème

DeadKnights -  
Bonjour,

je souhaiterais changer de thème, pour cela, j'ai vu qu'il fallait ajouter l'extension user-theme au shell mais quand je me rends sur le site :https://extensions.gnome.org/
je n'ai pas de bouton On/Off qui s'affiche que l'on doit apparemment utiliser pour récupérer l'extension.
Merci d'avance,
DeadKnights

5 réponses

  1.  mamiemando Modérateur
    Quelle extension cherches-tu à installer ?
    As-tu sur ce site le message "We cannot detect a running copy of GNOME on this system, so some parts of the interface may be disabled. See our troubleshooting entry for more information." ?

    Bonne chance
    1. DeadKnights Auteur
      Je souhaiterais installer l'extension user-theme. Oui, j'ai vu sur certains sites qu'ont pouvait avoir ce message mais personnellement je ne l'ai pas eu.
      2. DeadKnights Auteur
        En fait, je viens de faire : locate gnome-shell-extensions
        et je vois que j'ai bien user-themes et tout un tas d'autres extensions mais dans "Extensions du Shell" de Paramètres avancés je n'ai rien qui s'affiche donc je pense que mon problème se situe à cet endroit finalement mais je ne vois pas comment le corriger.
        2. mamiemando Modérateur
          Ensuite toujours d'après ce lien :
          http://forum.ubuntu-fr.org/viewtopic.php?id=1027241

          ... assure-toi que c'est vraiment un gnome-shell que tu utilises (et non une autre version de gnome comme gnome-session-fallback). Dans le doute, reporte-moi le résultat de : 

          dpkg -l | grep ^ii | cut -d" " -f3 | grep gnome

          De plus, à mon avis tu n'as rien à télécharger depuis le thème de gnome shellcar un paquet dédié semble exister, donc il suffit de l'installer comme suit : 

          sudo apt-get update
          sudo apt-get install gnome-shell-extensions-user-theme

          Bonne chance