第 15 章 通过命令行管理 GNOME Shell 扩展
gnome-extensions 工具是一个命令行工具，允许您从终端管理 GNOME Shell 扩展。它提供了各种命令来列出、安装、启用、禁用、删除和获取有关扩展的信息。
每个 GNOME Shell 扩展都有一个 UUID （统一的唯一标识符）。您可以在其 GNOME Shell 扩展网页上找到扩展的 UUID。
流程
要列出已安装的 GNOME Shell 扩展，请使用：
$ gnome-extensions list
要安装 GNOME Shell 扩展，请使用：
$ gnome-extensions install <UUID>
要启用 GNOME Shell 扩展，请使用：
$ gnome-extensions enable <UUID>
要显示 GNOME Shell 扩展的信息，请使用：
$ gnome-extensions info <UUID>
要禁用 GNOME Shell 扩展，请使用：
$ gnome-extensions disable <UUID>
要删除 GNOME Shell 扩展，请使用：
$ gnome-extensions uninstall <UUID>
将 <UUIDs> 替换为分配给您要安装的 GNOME Shell 扩展的唯一标识符。
其他资源
-
gnome-extensions --help页面。
