Aqui está o caminho certo para fazer com que o gnome-tweak-tool (configurações avançadas) funcione, portanto, os temas e as extensões do shell funcionam SEM quebrando o seu shell do gnome
sudo add-apt-repository ppa:ricotz/testing
sudo apt-get install ppa-purge
sudo apt-get update
sudo apt-get install gnome-shell-extensions
sudo apt-get install gnome-shell-extensions-common
sudo ppa-purge ppa:ricotz/testing
(type N and press enter at the end of the process)
Reinicie o shell (Alt F2 > > r > > enter)