Ubuntu中文论坛

archlinux, gnome版本3.2.2.1

从aur安装的gnome-shell-extensions-mediaplayer,重新加载后,在extensions目录下能够看到,但是在gnome-tweak-tool中没有显示,之前安装的扩展都能正常使用,求分析一下这是什么原因造成的.谢谢啦!

PS;作者在github里说明了,兼容gnome3.2.x的

重新登录，登录选择，进入gnome 后再打开gnome-tweak-tool

cmcmcm 写了：重新登录，登录选择，进入gnome 后再打开gnome-tweak-tool

不是这个原因，我问了朋友，应该是扩展版本的问题。
作者在github上写的是兼容到GNOME 3.4，我以为肯定是会向后兼容的，但是问我朋友他说从3.3开始扩展的pref.js貌似变了，所以就造成装不上的情况。
3.4目前还不稳定，暂时先等着吧。