egi*_*dra 3 gnome themes extension gnome-tweak-tool
我想为 gnome shell 使用用户主题，但我遇到了麻烦。我安装了用户主题扩展，但它似乎没有出现在 gnome 调整工具下。为了确认我安装了用户主题扩展，这是我再次尝试通过终端安装时得到的反馈：
sudo apt-get install gnome-shell-extensions-user-theme
Reading package lists... Done
Building dependency tree
Reading state information... Done
gnome-shell-extensions-user-theme is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded.
我在 Shell Extensions 下，没有启用用户主题的选项。
评论转换为答案
安装用户主题扩展后，您应该重新启动 gnome-shell。只有这样，扩展才会显示在 GNOME 调整工具中。
为此，请按Alt+F2并r在对话框中输入。现在 gnome-shell 将重新启动，扩展将显示在调整工具中。