1

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.

  • 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 '17 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 '17 at 9:19
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/dash-to-dock@micxgx.gmail.com
  • Reboot.

Install Dash to Dock

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.