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.
Also the 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.
Output of 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