Dash to Dock
Расширение помогает превратить приборную панель в док-станцию, чтобы обеспечить быстрый доступ к приложениям и более быстрое переключение между приложениями и рабочими пространствами.
Обладает большим количеством настроек.
Установка Dash to Dock из GNOME Shell Extensions
Переходим на страницу Dash to Dock в GNOME Extensions.
Нажимаем «Install» и подтверждаем установку расширения.
Расширение установлено!
... на будущее 😊
С помощью приложения GNOME Shell Extension Manager можно легко устанавливать, просматривать и настраивать текущие расширения.
Установка Dash to Dock из репозитория
Данный способ установки расширений крайне не рекомендуется, но имеет право на жизнь:
shell
su -
apt-get update
apt-get install gnome-shell-extension-dash-to-dock
shell
epm -i gnome-shell-extension-dash-to-dock
... не забывай
Расширения, установленные таким способом, появляются в списке программы «Расширения» только после перезагрузки компьютера.
Авторы
Жора Змейкин
Арсений Засыпкин