我已经安装了使用 gnome classic 的 CentOS 7，并且发现热角非常烦人。
如何删除/禁用它？
我想在计算机之间同步我的 gnome 面板的配置并将配置保留在 Git 中。如何转储/导入必要的信息？我已经找到gconftool2 --dump但没有找到任何看起来像我的面板配置的东西。
更新：我使用 gnome3 经典模式（连同 xmonad 作为窗口管理器）。我在 org.gnome.gnome-panel.layout 下的 dconf-editor 中找到了配置设置。然而，想出正确的 shell 脚本来提取和同步我想要共享的配置仍然很麻烦。
我在 gnome bugzilla 中为 dconf 同步工具打开了一个愿望清单问题：710930