テーマを変更できないという問題があります。テーマをダウンロードし、解凍してusr/share/themesに入れました。ただし、Tweaksツールでのシェルテーマ選択は無効になり、テーマを追加できなくなりました。
usr/share/themes
GNOME拡張 と呼ばれる ser Themes をインストールしてアクティブにします。
自宅のディレクトリ(~/.themesまたは~/.local/share/themes)からでもGNOME Shellテーマを有効にできます。
~/.themes
~/.local/share/themes