Я хотел отключить всегда видимый док, который поставляется с версией оболочки gnome для Ubuntu 17.10. Я нашел советы, как установить расширения dash-to-dock или просто удалить расширение Ubuntu Dock. Первое привело к двум перекрывающимся докам, последний удалял несколько других пакетов. Тема оболочки Ubuntu теперь не работает, а док все еще всегда виден и застрял в сломанной теме.
Очевидно, что возиться с расширениями по умолчанию без полной установки vanilla gnome было плохой идеей. Вы знаете, как отменить изменения? Я уже переустановил пакет ubuntu-desktop, но это ничего не исправило, поэтому он был не единственным, удаленным вместе с gnome-shell-extension-ubuntu-dock.
Большое спасибо.
Ubuntu Dock - это форк Dash to Dock, поэтому установка и запуск обоих одновременно могут вызвать проблемы. Если вы хотите, чтобы Dash подключался только к док-станции, выполните следующие действия.
Удалить Ubuntu Dock
$ sudo apt-get remove gnome-shell-extension-ubuntu-dock $ rm -rf ~/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com
Установите Dash to Dock