Eu fiz uma nova instalação de 17.10 e a extensão de shell User Themes não foi instalada por padrão.
Você pode instalar a extensão baixando-a em aqui no site do GNOME Shell Extensions .
Depois de instalar a extensão Temas do usuário do site, ative-a através da ferramenta Tweak (se ainda não estiver ativada) e feche / reabra a ferramenta Tweak. Em seguida, a opção para alterar o tema do shell deve estar disponível na primeira página.
No meu sistema, eu não pude instalar as extensões do shell do site porque o conector do GNOME Shell Integration não foi instalado. Você pode instalar isso executando isso em um terminal:
sudo apt install chrome-gnome-shell
Se você precisar instalar o conector, atualize a página de extensão em seu navegador antes de tentar instalar a extensão.