Di recente sono passato a Ubuntu 17.10. Dopo aver abilitato l'estensione ubuntu-dock da Gnome-Tweak-Tools, non ho trovato impostazioni specifiche per personalizzare Ubuntu-Dock in gnome-settings o gnome-control-center. Un hack temporaneo che ho trovato per accedere alle impostazioni del dock stava cambiando la variabile XDG_CURRENT_DESKTOP dal terminale e quindi lanciando gnome-control-center da lì.
XDG_CURRENT_DESKTOP=ubuntu:GNOME gnome-control-center
Volevo sapere se esiste un modo permanente per ottenere Ubuntu-Dock-Settings in gnome-control-center