Recientemente me cambié a Ubuntu 17.10. Después de habilitar la extensión ubuntu-dock de Gnome-Tweak-Tools, no encontré configuraciones específicas para personalizar Ubuntu-Dock en gnome-settings o gnome-control-center. Un truco temporal que encontré para acceder a la configuración del muelle estaba cambiando la variable XDG_CURRENT_DESKTOP desde la terminal y luego lanzando gnome-control-center desde allí.
XDG_CURRENT_DESKTOP=ubuntu:GNOME gnome-control-center
Quería saber si hay alguna forma permanente de obtener Ubuntu-Dock-Settings en gnome-control-center