Você tentou usar gnome-tweak-tool
? Basta executar com Alt+F2
e digitar gnome-tweak-tool
.
se gnome-tweak-tool
não estiver disponível na sua plataforma, você pode digitar sudo apt-get install gnome-tweak-tool
no seu terminal. Então está tudo pronto