Recentemente, mudei para o Ubuntu 17.10. Depois de ativar a extensão ubuntu-dock do Gnome-Tweak-Tools, não encontrei configurações específicas para personalizar o Ubuntu-Dock no gnome-settings ou no gnome-control-center. Um hack temporário que encontrei para acessar as configurações do dock estava alterando a variável XDG_CURRENT_DESKTOP do terminal e iniciando o gnome-control-center a partir daí.
XDG_CURRENT_DESKTOP=ubuntu:GNOME gnome-control-center
Eu queria saber se existe alguma maneira permanente de obter o Ubuntu-Dock-Settings no gnome-control-center