问题描述
有没有办法在脚本中的 Tweak Tool 中切换 Gnome Extension Top Icons Plus？
目前我找不到 Tweak Tool 或 Top Icons Plus 提供的任何 API。
解决方法
您可以通过以下方式启用扩展：
gnome-shell-extension-tool -e <UUID>
所以在你的情况下：
gnome-shell-extension-tool -e [email protected]
扩展名必须位于
~/.local/share/gnome-shell/extensions/
或通过 rpm 安装的 RHEL 附带的扩展通常位于：
/usr/share/gnome-shell/extensions/