“扩展管理器”应用帮助您安装和管理 GNOME Shell 扩展

简短的: Extension Manager 是 GNOME 官方扩展应用程序的一个令人兴奋的非官方替代品,可帮助您管理 GNOME shell 扩展。 让我们仔细看看。

GNOME 扩展非常有用。 当然,使用其中许多可能不是解决问题的最佳方法。

但是,如果您依靠 GNOME 扩展来调整任何 Linux 发行版上的桌面工作流程,那么管理所有扩展的便捷选项应该有助于节省您的时间。

GNOME 团队已经为您提供了“扩展” 应用程序来配置和管理 GNOME 扩展。 但是,并不是每个 Linux 发行版都预装了它。

那么,您应该使用官方的 Extensions 应用程序,还是有更好的方法?

好吧,从技术上讲,这取决于您的用例和要求。 但是,有一个 “扩展经理”,它可以帮助您管理 GNOME Shell 扩展,同时还允许您在不使用浏览器的情况下搜索和安装新的扩展。

扩展管理器:“扩展”的替代方案

如果您已经安装了“扩展”,那么您可能没有很大的理由使用它。

但是,通过扩展管理器 马特·杰克曼,您将获得一个有用的应用程序,可以轻松启用/禁用、配置和安装/卸载新的 GNOME 扩展。

您不再需要按照通常的方法来安装涉及网页、浏览器插件等的 GNOME 扩展。

它提供了一个单独的选项卡来搜索和安装可用的 GNOME 扩展。

正如您在上面的屏幕截图中所注意到的,您不必调整 GNOME Shell 版本号并查看它是否受支持。 如果您的系统支持扩展程序,此应用程序会直接突出显示。

因此,您可以轻松探索最好的 GNOME 扩展,看看它是否适合您。

此外,您还可以在单​​击扩展时探索有关扩展的更多信息。 它可以改善信息的呈现方式,但对于大多数人来说应该已经足够了。

扩展经理信息

扩展管理器的功能

扩展经理关于

总结一下特点:

  • 配置现有/预安装的 GNOME 扩展。
  • 启用/禁用外壳扩展。
  • 能够从网络上搜索新的扩展。
  • 从网络安装新的扩展。
  • 根据您的喜好选择应用程序主题或遵循系统主题。
  • 从应用程序内更新扩展程序。

扩展与扩展管理器:有什么区别?

如果您想知道:Extensions 和 Extension Manager 之间有什么区别?

这是一个 截图对比

扩展侏儒扩展经理扩展 (GNOME) 与扩展管理器

总的来说,用户界面有点不同。 但它基本上是相同的,减去从 Web 搜索/安装 GNOME 扩展的能力。

但是,您可以使用 Extension Manager 将主题切换为亮/暗(或遵循系统首选项)。 使用 Extensions,该应用程序默认跟踪系统主题。

在 Linux 上安装扩展管理器

使用官方存储库,您可以轻松地在 Ubuntu 22.04 LTS 上安装扩展管理器。

因此,您可以在软件中心查找它或使用以下命令通过终端安装它:

sudo apt install gnome-shell-extension-manager

对于任何其他 Linux 发行版,您可以参考我们的 Flatpak 指南并安装 Flatpak 包 平面图.

您还应该在 AUR for Arch Linux 发行版中找到它。

前往其 GitHub页面 探索有关应用程序和其他安装方法的更多信息。

您更喜欢用什么来帮助管理 GNOME shell 扩展? 随时在评论中分享您的想法。