Das gnome-tweak-tool ist ein erweitertes Einstellungstool für Gnome3. Es gehört oft nicht zum Standard der meist genutzten Linux-Distributionen, muss bei Bedarf also über den herkömmlichen Paketmanager nachinstalliert werden. (Beispiel für Fedora: su -c "yum install gnome-tweak-tool") Um sich leichten Zugang zum gnome-tweak-tool zu verschaffen ist es möglich das userMenu zu …