如何管理 Gnome shell 扩展?

如何管理 Gnome shell 扩展?

我无法理解管理 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扩展程序的“本地控制中心”,请亲自查看:

在此输入图像描述

相关内容