Esta dica não funcionou comigo.
Estou trocando o tema mudando a pasta /usr/share/gnome-shell/theme/
Faça um backup antes.
Cuidado que muito tema tem várias pastas. Você move a última (geralmente "gnome-shell" para /usr/share/gnome-shell/ mudando o nome para theme). É sempre uma pasta com imagens e um css.