Bonjour à tous ! 
Aujourd’hui voulant personnaliser mon interface gnome j’ai utilisé Gnome-tweak-tool. En premier lieu je n’ai pas pu changer les paramètres alors je l’ai lancé avec le terminal administrateur. Je peux changer les paramètres mais il ne s’activent quand même pas…A noter que les paramètres ne peuvent être configurés même quand je suis dans le terminal normal loggé en root.
Voyez vous de quoi peut venir le problème ?
Merci d’avance !
