我尝试在 Unix 和 Linux stackexchange 中询问这个问题,但这也许是一个更好的地方。
我一直试图从网站安装一些 Gnome 扩展https://extensions.gnome.org
。我收到对话框询问我是否要安装,但在我选择“是”后,它默默地失败了。这是使用 Firefox 或 Chromium 的行为。我已检查以确保Gnome Shell Integration
Chromium 和 Firefox 都已安装并启用了该插件。
我的操作系统是 Ubuntu 12.10,Gnome 版本是 3.6.3.1。我已确保(使用sudo apt-get update
)所有内容都是最新的。我尝试过重新启动,但无济于事。我做错了什么,如何修复此问题(或者有什么好的解决方法)?
注意:我安装了 gnome-tweak-tool,但它没有显示已安装任何扩展。在我确认要下载扩展后,没有任何反应。
编辑:扩展现在正在工作。我不知道为什么。也许是重新启动。我会将以下答案标记为已接受,因为它提供了有用的信息,可能对其他人有帮助。我建议任何处于我这个位置的人只需确保一切都是最新的,重新启动,然后不时检查它是否正常工作。
答案1
为了能够安装和使用 GNOME shell 扩展,我们需要以下软件包:
然后,我们可以通过打开GNOME 扩展下载页面到在. 将此开关转到离开将禁用该扩展。
然后可以使用 GNOME 调整工具进一步控制已加载的扩展或主题。