Dock settings missing in gnome-control-center after upgrade to Ubuntu 17.10

Ubuntu Dock doesn't seem to be installed, you can verify it by running

apt-cache policy gnome-shell-extension-ubuntu-dock

There should be an Installed: (none) line in the output. If so, you may install it by running the following command in Terminal:

sudo apt install gnome-shell-extension-ubuntu-dock

---

If Ubuntu Dock is installed and you still don't find the settings, see this: ubuntu-dock settings not accessible in gnome-control-center by default

This issue might be caused by issues during the upgrade. Try reinstalling Ubuntu dock:

sudo apt purge gnome-shell-extension-ubuntu-dock
sudo apt install --reinstall ubuntu-desktop

This may or may not repair things that apparently went wrong during the upgrade.

Background

Even though the OP stated the following does not work on his machine, it DID work on my laptop...

"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" ~~ OP

As Pomsky suggested in the comments of his answer, linked above, provided an additional, but a different solution that worked for me after his answer didn't work. So for future reference from those coming from Google...

"Ubuntu dock setting is accessible only from the GNOME session(s) customised by Ubuntu, not from the default GNOME session(s).

When you boot your system and get to the GDM login screen you should find a cogwheel (⚙️) next to the sign in button. If you click on the cogwheel you should find an Ubuntu (and/or Ubuntu on Xorg) option.

Choose Ubuntu (or Ubuntu on Xorg) instead of GNOME (or GNOME on Xorg)." ~~ Pomsky

Situation

I had Ubuntu Dock installed but the Dock option was not showing up anymore. Had it before, but don't know when it disappeared.

I verified I had it installed with the apt-cache command below. I did not have a Installed: (none) value but an actual number value.

apt-cache policy gnome-shell-extension-ubuntu-dock

Fix

1. Restart Linux
2. Change the session type you log-in with via the cogwheel (⚙️).
   • Choose either Ubuntu or Ubuntu on Xorg.
   • Don't choose some other option like GNOME

In the picture above, I had 3 items to choose from. So I chose Ubuntu and logged in.

If you don't have 3 options, then this solution probably won't work for you. Let me know in the comments otherwise.