0

I have just (painfully) upgraded to Ubuntu 18.04 LTS. Since it appears I have no choice but to use the GNOME desktop, I am trying to make adjustments so that I can use it more like the Unity desktop I used in 14.04 and 16.40. But I find I can make no changes to the size and position of the Dock.

When I go to Settings and click on Dock, the only thing visible in the large right-hand panel is a very faint slider bar, with no slider. Positioning the cursor over this bar has no impact. In short, on my system the Dock is completely unadjustable.

What I was expecting was something like this: https://websiteforstudents.com/resize-and-adjust-ubuntu-dock-on-ubuntu-18-04-lts-beta-desktop/. I.e., the ability to adjust the size, position and auto-hiding capability of the Dock.

What do I have to do to make the Dock adjustable?


$ apt-cache policy gnome-shell-extension-ubuntu-dock
gnome-shell-extension-ubuntu-dock:
 Installed: (none)
 Candidate: 0.9.1ubuntu18.04.1
 Version table:
   0.9.1ubuntu18.04.1 990
     990 http://us.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages
     990 http://us.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages
    0.9.1 990
     990 http://us.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
     990 http://us.archive.ubuntu.com/ubuntu bionic/main i386 Packages