我已经安装了hide top bar扩展https://extensions.gnome.org/extension/545/hide-top-bar/。正如扩展名的意思。当有应用程序打开并将鼠标悬停在顶部栏上时，它会使顶部栏消失，但是它还有一个选项，当鼠标到达屏幕顶部边缘时，顶部栏会再次弹出。当我通过 CLI 安装扩展时（我使用 gnome-extensions-cli 包），顶部栏会立即自动消失 - 这正是我想要的。但是没有设置pop-up option。更清楚的是，这意味着当鼠标指针到达屏幕顶部边缘时，顶部栏不会重新出现。我不知道如何访问 - 设置此扩展选项 - 这在 CLI 的扩展描述中暗示了这一点。我找到了 TWEAK 或 dconf-editor，但没有找到 CLI。此外，我还打开 dconf-editor 并在其中搜索，没有任何隐藏顶部栏的键。
所以，我没事。但是有解决该问题的命令行吗？提前谢谢