在extension gnome-shell网站加入user themes扩展，想要更改shell-theme，但是加入之后点击无法打开gnome-tweak-tool，现在在双系统里面不能调出，昨晚在虚拟机中还可以用终端调出，但是调出后shell扩展选项页面空白，而且shell-theme也是灰色，未启用