Como @muru disse acima, sua melhor aposta é instalar o "gnome-tweak-tool", que vem com muitas opções para "tweaking", aprimorando seu desktop gnome. Assim que estiver instalado, você poderá visitar as Extensões do Gnome Shell e instalar as extensões para adicionar ainda mais poder de ajuste ao gnome.