I've just upgraded to Ubuntu 17.10 and am missing the Ubuntu Dock settings, i.e. in
gnome-control-center the dock settings are blank:
I think I might be missing the "
ubuntu-dock" package, but can't find this anywhere in the software centre.
gnome-control-center was completely missing after the update, and I had to install this separately - not sure if this is related.
I think this is different from ubuntu-dock settings not accessible in gnome-control-center by default because changing the type of GNOME session doesn't fix the problem. If I go for GNOME* I get no Dock settings section at all, and if I got for Ubuntu* I get the blank Dock settings section described above.
apt-cache policy gnome-shell-extension-ubuntu-dock:
rob@rob-pc:~$ apt-cache policy gnome-shell-extension-ubuntu-dock gnome-shell-extension-ubuntu-dock: Installed: (none) Candidate: 0.7 Version table: 0.7 500 500 http://gb.archive.ubuntu.com/ubuntu artful/main amd64 Packages 500 http://gb.archive.ubuntu.com/ubuntu artful/main i386 Packages