如何从命令行激活/停用gnome-shell扩展

假设我已经成功安装了我的gnome-shell扩展集。但是我想从命令行停用/停用。这只能通过鼠标操作AFAIK来实现。

我怎样才能做到这一点？

command-line gnome gnome-shell-extension

— 塔哈卡
source

在Gnome Wiki中对此进行了很好的描述，引用：

您可以使用GSettings键，org.gnome.shell.enabled-extensions或操纵该GSettings键的几种工具（例如GNOME Tweak工具或gnome-shell-extension-tool的最新版本）来执行此操作。

如果调用gnome-shell-extension-tool --help，您将看到它能够通过扩展名启用和禁用扩展。例如，以下命令启用用户主题：

gnome-shell-extension-tool -e user-theme

哦，您可以通过执行来获取所有本地安装的扩展名ls ~/.local/share/gnome-shell/extensions。它将为您提供表格的条目the-name@author。

— Mx
source

如果尚未安装扩展程序，则无法使用。它仅更改dconf中的设置。

— wayofthefuture

在较新的版本（我在19.10中）中，gnome-shell-extension-tool已被功能更强大的所取代gnome-extensions。这允许对正在运行的环境进行有用的查询，例如：gnome-extensions list获取已安装扩展名和的列表gnome-extensions info $extension，$extension可以从列表中获取

— sxc731