我正在使用 Ubuntu 18.04.3，并使用以下命令删除了 Ubuntu dock：
sudo apt remove gnome-shell-extension-ubuntu-dock
dock 已被删除，但 GNOME 设置中仍有 dock 设置：
我如何从设置中删除该选项？
为什么我删除了 Ubuntu Dock 扩展
Ubuntu 18.04.3 删除了 dconf ( /org/gnome/shell/extensions/) 中的一些 Dock 设置。正因为如此，我无法将 dock 设置更改为我喜欢的设置。我决定删除它，改用 dash to dock extension（在 18.04.2 上，Ubuntu dock 具有与 Dash to Dock Extension 相同的 dconf 设置，但在 18.04.3 上，其中一些设置已消失，其中一些设置不会更改 dock 中的任何内容）。
如果我不删除 Ubuntu Dock 并且只安装 dash to dock 扩展，我就可以有 2 个 dock。所以应该删除 Ubuntu dock。
