Son zamanlarda Ubuntu 17.10'a geçtim. Gnome-Tweak-Tools'dan ubuntu-dock uzantısını etkinleştirdikten sonra, gnome ayarlarında veya gnome-kontrol merkezinde Ubuntu-Dock'u özelleştirmek için belirli bir ayar bulamadım. Dock ayarlarına erişmek için bulduğum geçici bir saldırı, XDG_CURRENT_DESKTOP değişkenini terminalden değiştiriyor ve daha sonra gnome-control-center'ı oradan başlatıyordu.
XDG_CURRENT_DESKTOP=ubuntu:GNOME gnome-control-center
Gnome-control-center'da Ubuntu-Dock-Settings'i almanın kalıcı bir yolu olup olmadığını bilmek istedim