logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 20-05-2013 17:40:44

bundy
Membre
Distrib. : Buster
Noyau : Linux 4.19
(G)UI : gnome 3 shell
Inscription : 14-09-2010

[Résolu]changer le theme de gnome-shell sous wheezy

bonjour,

je cherche à changer le theme de gnome-shell.Donc je vais dans gnome tweak tool, mais dans la section "theme" le chan correspondant  au shell est grisé avec un point d'éxclamation. Dois-je installer un paquet en plus?

Dernière modification par bundy (20-05-2013 20:41:30)

Hors ligne

#2 20-05-2013 20:41:05

bundy
Membre
Distrib. : Buster
Noyau : Linux 4.19
(G)UI : gnome 3 shell
Inscription : 14-09-2010

Re : [Résolu]changer le theme de gnome-shell sous wheezy

il faut installer cette extenssion :

https://extensions.gnome.org/extension/19/user-themes/

il faut autoriser le site à comuniquer avec gnome shell via votre web browser et vous verrez apparaitre un bouton on off à côté de l'extenssion sur le site,passez le sur on et voila la fonctionnalité et maintenant dispo dans gnome tweak tool.

bon j'adore gnome3 et son shell mais je n'arriverai jamais comprendre ce systeme d'extensions via le site. Cette démarche est tellement à l'opposé du coté simple et instinctif de gnome-shell. Ça n'à vraiment aucun sens. Sérieux ça me rappelle le temps où j'étais sous win2000 à courir sur 01net quand j'avais besoin d'un truc.

Dernière modification par bundy (20-05-2013 20:42:23)

Hors ligne

Pied de page des forums