Bonjour
Je suis sous Wheezy et je cherche comment modifier les paramètres systèmes sous GnomeDesktop et surtout la gestion des extensions.
Sous Ubuntu le programme s’intitule Advanced Setting je crois…
Edit : Je crois que c’est GNOME Tweak Tool
Salut,
Quel paramètre veux-tu modifier. Il n’est pas dit que sous Debian tous les paramètres soient regroupés et au même endroit que sous Ubuntu. Le propre de cette distribution est de vous cacher l’essentiel pour ne montrer que le superflu (comme les collants pour ces dames)
Avec ubuntu comme avec debian, le paquet permettant les réglages avancés de gnome3 s’appelle effectivement gnome-tweak-tool.