14.3. 使用命令行管理 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 扩展的唯一标识符。