Eu segui as instruções do aqui , mas Eu tenho o seguinte erro ao tentar instalar o gnome-shell-extensions-user-theme:
The following packages have unmet dependencies:
gnome-shell-extensions-user-theme : Depends: gnome-shell-extensions-common but it is not going to be installed
Informação extra:
Executando o Ubuntu com o Gnome3
O gnome-shell-extensions-common depende do gnome-shell-extensions, que já inclui a extensão user-theme, e assim entra em conflito com o pacote gnome-shell-extensions-user-theme. Parece haver algo errado com as dependências nesse repositório.
De qualquer forma, você pode simplesmente instalar o gnome-shell-extensions, que possui a extensão de tema do usuário. Foi o que eu fiz e funcionou.
Altere os temas usando o gnome-tweak-tool.
Você pode forçar a versão do pacote gnome-shell-extensions-common a ser fornecida pelo mesmo PPA no qual você está tentando instalar o gnome-shell-extensions-user-theme. Eu estou querendo saber se você tem repos diferentes fornecer esses pacotes em suas fontes ...
No seu terminal, faça isso:
sudo apt-get install gnome-shell-extensions-common
sudo apt-get install -f