2

I wanted to disable the always-visible dock that comes with the Ubuntu 17.10 version of gnome shell. I found tips to either install the dash-to-dock extensions or to just uninstall the Ubuntu dock extension. The first resulted in two overlapping docks, the latter in removing several other packages. The Ubuntu shell theme is broken now and the dock is still always visible and stuck in a broken theme.

Obviously, messing with the default extensions without fully installing vanilla gnome was a bad idea. Do you know how to undo the changes? I already re-installed the ubuntu-desktop package but that didn't fix anything so it wasn't the only one removed along with gnome-shell-extension-ubuntu-dock.

Thanks a lot.

Improve this question
2
  • Read the files in /var/log/apt/*, and you can reconstruct the install/reinstall/whatever path you took to get to your current situation. Trace this path in reverse.
    – waltinator
    Nov 27, 2017 at 19:13
  • Thanks. I checked the logs, only ubuntu-desktop was removed along with gnome-shell-extension-ubuntu-dock. I already reinstalled ubuntu-desktop, which seems to be a tiny wrapper package. The issues with the Ubuntu gnome shell theme and the dock haven't been resolved, though.
    – Felix T
    Nov 28, 2017 at 9:19

1 Answer 1

Reset to default
0

Ubuntu Dock is a fork of Dash to Dock, so installing and running both at the same time might cause problems. If you want Dash to Dock only, follow these steps.

Uninstall Ubuntu Dock

  • Open the terminal and run these commands:
$ sudo apt-get remove gnome-shell-extension-ubuntu-dock

$ rm -rf ~/.local/share/gnome-shell/extensions/[email protected]
  • Reboot.

Install Dash to Dock

Improve this answer

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .