我无法理解管理 Gnome shell 扩展的预期方式。
我在 Dash 中找不到任何合适的程序来执行此操作。我实际管理扩展的唯一方法是通过扩展.gnome.org。
这个页面不可能是管理扩展的工具——它绝对是零意义(其一,它破坏了用户体验)。
请告诉我,有一个旨在管理这些方便的扩展的本机应用程序的计划。
答案1
该页面不可能是管理扩展的工具 - 这绝对是零意义
是否有道理也是见仁见智的问题。但是,是的,该页面是主要工具,请阅读 Owen Taylor 的解释。
至于管理系统上已安装的扩展,您可以通过以下方式启用/禁用它们gnome 调整工具(或dconf-editor
- GUI,或gsettings
- CLI)。
编辑:
回复您的评论:
我说的是保持用户体验的一致性。当我输入“exten”时 通过搜索栏,我应该能够到达某些扩展控制点。
您使用什么版本的 gnome-shell ?这gnome-3.8.2
是默认行为,exten
在搜索栏中输入会显示gnome-tweak-tool
扩展程序的“本地控制中心”,请亲自查看: