Pour info, il y'a ici une build de gnome-tweak-tool, le futur outil pour gérer les shells themes de GNOME 3, le rpm s'installe nickel, possibilité de changer qqes petites choses mais pas tout 😉

Lien : http://koji.fedoraproject.org/koji/taskinfo?taskID=2930057

Info : http://live.gnome.org/GnomeTweakTool