需求

通过快捷命令进行禁用、启用或重启hide top bar插件。

解决

重启命令：

gnome-shell-extension-tool -r hidetopbar@mathieu.bidon.ca

启用命令：

gnome-shell-extension-tool -e hidetopbar@mathieu.bidon.ca

禁用命令：

gnome-shell-extension-tool -d hidetopbar@mathieu.bidon.ca