Я хочу использовать gnome dock только в качестве панели запуска, я не хочу, чтобы она отображала открытые в данный момент окна. То есть это должна быть просто панель закладок для любимых приложений. Как мне это сделать?
Начиная с 17.10, Ubuntu поставляется с док-станцией, включенной по умолчанию, вы можете настроить многие ее параметры с помощью dconf-editor. Сначала установите пакет:
sudo apt install dconf-editor
Теперь откройте его, затем используйте значок поиска на заголовке окна для поиска «дока» и нажмите на первый результат, теперь снова найдите «show-running» и поверните выключите в первом результате.
Если вы вместо этого используете сессию gnome по умолчанию, вам сначала нужно установить расширение dash-to-dock , а затем применить процедуру, описанную выше (вы можете установить док-станцию так, чтобы она была постоянно скрыта как есть). по умолчанию тоже).
Попробуйте эти два расширения:
https://extensions.gnome.org/extension/307/dash-to-dock/
https : //extensions.gnome.org/extension/17/dock/
Я пробовал последнее в течение некоторого времени, и оно работало нормально.