Primeiro, instale a Extensão de temas do usuário . Feito isso, você pode descompactar seus temas baixados em ~/.themes (para que eles acabem em ~/.themes/ThemeName , com o diretório gnome-shell sob isso). Então , eles aparecerão no Gnome Tweak Tool. (Você pode ter que reiniciar o shell, com ALT-F2 , um único r na caixa de diálogo de comando e < enter >.)