Changer thème

DeadKnights Messages postés 18 Date d'inscription   Statut Membre Dernière intervention   -  
mamiemando Messages postés 33772 Date d'inscription   Statut Modérateur Dernière intervention   -
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
A voir également:

5 réponses

mamiemando Messages postés 33772 Date d'inscription   Statut Modérateur Dernière intervention   7 882
 
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
0
DeadKnights Messages postés 18 Date d'inscription   Statut Membre Dernière intervention  
 
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.
0
mamiemando Messages postés 33772 Date d'inscription   Statut Modérateur Dernière intervention   7 882
 
Au pire tu peux la récupérer via git :

https://gitlab.gnome.org/GNOME/gnome-shell-extensions

sudo apt-get update
sudo apt-get install git

Puis :
https://wiki.gnome.org/Git/Developers#Setting_up_Git

Bonne chance
0
DeadKnights Messages postés 18 Date d'inscription   Statut Membre Dernière intervention  
 
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.
0

Vous n’avez pas trouvé la réponse que vous recherchez ?

Posez votre question
mamiemando Messages postés 33772 Date d'inscription   Statut Modérateur Dernière intervention   7 882
 
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
0