Ubuntu 18.04 como trocar tema do Gnome Shell?

O ubuntu pelo gnome tweak deixa eu trocar os temas das janelas, mouse e icones. Mas o tema do gnome shell vem travado. Como destravar? Como possa trocar o tema do Gnome Shell?

https://extensions.gnome.org/extension/19/user-themes/

1 Curtida