想安装gnome-shell-extensions，进去将左边的开关选到ON，但是切到已安装插件栏里并未发现user themes，然后重新进入页面发现开关依然在OFF，该怎么解决？
进入下载页后有下载，但都是tar.xz格式，请问应该怎么安装？
装这个是因为shell主题不可用，同时请教其他有效办法，谢谢
https://extensions.gnome.org插件无法安装
-
无 痕
- 帖子： 21
- 注册时间： 2009-10-24 17:49
-
poloshiao
- 论坛版主
- 帖子： 18279
- 注册时间： 2009-08-04 16:33