相关疑难解决方法(0)

我无法理解管理 Gnome shell 扩展的预期方式。

我在 Dash 中找不到任何合适的程序来执行此操作。我实际管理扩展的唯一方法是通过extensions.gnome.org。

这个页面不可能是管理扩展的工具——它绝对是零意义的（它打破了用户体验，一方面）。

请告诉我，有一个旨在管理这些方便的扩展的本机应用程序计划。