我在 Gnome-Shell 中使用 Docky，
因此我不需要 gnome-shell dock。有没有办法禁用（或至少隐藏）gnome-shell dock？
我知道我可以将我使用的主题的 CSS 文件中的宽度设置为 0px，但这需要我每次更新时编辑我使用的每个主题（我的所有主题都来自 PPA）。
也许对此有一个扩展？
答案1
啊，找到了一个可以做到这一点的扩展： https://extensions.gnome.org/extension/79/hide-dash/
Gnome-shell 隐藏“Dock”？