Je suis récemment passé à Ubuntu 17.10. Après avoir activé l'extension ubuntu-dock depuis Gnome-Tweak-Tools, je n'ai trouvé aucun paramètre spécifique pour personnaliser Ubuntu-Dock dans gnome-settings ou gnome-control-center. Un hack temporaire que j'ai trouvé pour accéder aux paramètres du dock changeait la variable XDG_CURRENT_DESKTOP du terminal, puis lançait gnome-control-center à partir de là.
XDG_CURRENT_DESKTOP=ubuntu:GNOME gnome-control-center
Je voulais savoir s'il y avait un moyen permanent d'obtenir Ubuntu-Dock-Settings dans gnome-control-center