Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
有没有办法在脚本的 Tweak Tool 中切换 Gnome Extension Top Icons Plus?
目前我找不到 Tweak Tool 或 Top Icons Plus 提供的任何 API。
您可以通过以下方式启用扩展:
gnome-shell-extension-tool -e <UUID>
所以在你的情况下:
gnome-shell-extension-tool -e TopIcons@phocean.net
扩展名必须位于
~/.local/share/gnome-shell/extensions/
或通过 rpm 安装的 RHEL 附带的扩展通常位于:
/usr/share/gnome-shell/extensions/