Você pode fazer isso com dconf-editor ou no terminal.
- Instale
gnome-shell-extension-user-theme(se você ainda não o fez). - Ativar
gnome-shell-extension-user-theme:
dconf-editor : expanda org > gnome > shell e edite o campo de valor para a chave enabled-extensions , adicionando '[email protected]' aos elementos existentes (se houver)
alternativamente, em terminal , execute:
gnome-shell-extension-tool -e [email protected]
- Em seguida, ative seu tema de shell (por exemplo,
Adwaita Sky):
dconf-editor : expanda para org > gnome > shell > extensions > user-theme e altere o valor da chave name para Adwaita Sky
ou, em terminal , execute:
gsettings set org.gnome.shell.extensions.user-theme name "Adwaita Sky"
Uma reinicialização do shell pode ser necessária após estas operações: Alt + F2 > > r