Instale o GNOME Tweak Tool: graficamente ou use a linha de comando:
sudo apt-get install gnome-tweak-tool
Uma vez instalado, abra o GNOME Tweak Tool (deve aparecer como "Advanced Settings" no menu) e ative a extensão de tema do usuário.
Por favor, note que para poder instalar ou alterar temas do GNOME Shell usando o GNOME Tweak Tool, depois de habilitar a extensão Tema do Usuário você pode precisar reiniciar o Tweak Tool ou todo o GNOME Shell (pressione ALT + F2 e digite "r" ou saia e entre novamente). Isso não é necessário para outras extensões.