Как настроить dash to dock

Установка Dash to Dock в Ubuntu 20.04

Отличительной особенностью интерфейса Ubuntu является её панель Ubuntu Dock, расположенная слева. Однако разработчики специально скрыли большую часть настроек.

Чтобы это исправить, достаточно установить Dash to Dock в Ubuntu 20.04. Это расширение GNOME. Именно оно и было взято для создания Ubuntu Dock. Мы сравним оба эти расширения и расскажем, как установить оригинальный вариант.

Сравнение Dash to Dock с Ubuntu Dock

Настройки Ubuntu Dock находятся во вкладке Внешний вид. Как видите, доступно всего 4 параметра: автоскрытие, размер значков, выбор экрана для вывода и положение на экране:

Но это ещё не всё. Давайте попробуем найти скрытые настройки в Dconf:

Настроек гораздо больше, а именно всё то, что доступно в Dash to Dock. Обратите внимание на то, что настройки хранятся по адресу: /org/gnome/shell/extensions/dash-to-dock/. Поэтому у вас не получится использовать Ubuntu Dock и Dash to Dock одновременно, но установка последнего позволит настраивать Док с большим удобством, чем в Dconf.

В настройках Dash to Dock большая часть элементов переведена на русский, а также изменения применяются сразу же, в отличие от Dconf.

Установка Dash to Dock в Ubuntu

Скачать и установить Dash to Dock можно прямо на сайте GNOME, используя расширение браузера. Остальные способы установки сложнее и требуют больше действий, чем переключение тумблера напротив названия.

Как было отмечено ранее, настройки у Dash to Dock и Ubuntu Dock общие, поэтому после установки следует отключить расширение (Installed extensions в шапке сайта). При этом кнопка для вызова настроек останется активной и позволит настроить панель в полной мере. Если же вы хотите оставить в системе только Dash to Dock, то удалить Ubuntu Dock можно командой:

sudo apt remove gnome-shell-extension-ubuntu-dock

Настройка Dash to Dock

Первая вкладка настроек содержит практически то же самое, что можно изменить в Ubuntu Dock. Плюс к этому есть переключатель режима панели, отключающий растягивание на всю длину.

На второй вкладке можно отключить показ избранных приложений, корзины и примонтированных разделов.

Во вкладке Поведение настраивается действие по нажатию. Если выбрать Минимизация или показ миниатюр, то при нескольких открытых окнах будут показаны миниатюры. Кроме того, несколько окон можно переключать колёсиком мыши (Действие при прокрутке).

Во вкладке Внешний вид можно уменьшить отступы (Сжать Док), сделав панель более компактной. Имеются также настройки индикаторов, а в расширенных настройках вы можете включить дополнительную рамку для открытых приложений, как это было в оболочке Unity.

Выводы

Как вы могли убедиться, установка Dash to Dock Ubuntu 20.04 поможет настроить родную панель Ubuntu Dock, ведь, по сути, это одно и то же. Это возможно благодаря тому, что настройки хранятся в реестре GNOME и расположены по одному адресу. По этой причине активным должно быть только одно расширение. Если же вам хочется чего-то большего, то обратите внимание на другие расширения, например, Dash to Panel, совмещающее обе панели Ubuntu в одну.

Источник

Делаем GNOME 3 удобным — настраиваем Dash

Те, кому приходилось работать в GNOME 3, особенно несколько лет назад, могли вполне справедливо сказать, что он неудобен и не поддается кастомизации. Но в отличии от Unity, которая вышла практически одновременно с GNOME 3 и имела те же проблемы, ситуация с последним сегодня изменилась кардинально. И заслуга в этом, в первую очередь, большого сообщества, которое за несколько лет просто завалило пользователей различными апплетами, расширениями и твиками, позволяющими практически полностью настроить GNOME под себя.

Дефолтный Dash

В GNOME Shell есть такая вещь, как Dash — панель на которой пользователь может закреплять часто используемые программы, чтобы иметь быстрый доступ к ним. Это свой аналог Unity лаунчера в Ubuntu или док-бара в Mac OS:

Все бы хорошо, да только многим непонятна логика разработчиков, которые почему-то сделали свой Dash скрываемым (его можно найти лишь на экране слева зайдя в глобальное меню). В результате получается, что хоть у вас есть панель с избранными приложениями, чтобы активировать ее нужно делать лишнее действие мышкой или клавиатурой. И изменить это штатным средствами нельзя. Вот здесь и приходит на помощь сообщество, а конкретнее разработчик по ником michele_g, который не стал мириться с такими положением дел и создал расширение Dash to Dock, которое позволяет превратить простой Dash в полнофункциональный (практически) док-бар.

Знакомимся с Dash to Dock

Давайте сразу же установим расширение и наглядно посмотрим на то, какие настройки Dash оно может нам предложить. Но перед этим убедитесь, что у вас установлена утилита «Дополнительные настройки» или «Gnome Tweak Tool» не английском. Она нам будет нужна для настройки расширения.

Теперь в браузере перейдите по ссылке, в каталог расширений GNOME прямо на страницу Dash to Dock.

Если вы пользуетесь Chrome, у вас может появиться проблема, с установкой расширений с extensions.gnome.org. В таком случае можно использовать Firefox.

Слева от названия расширения есть переключатель, активирующий установке Dash to Dock, активируем его:

Появиться запрос на установку, соглашаемся:

Все, дополнение установлено. Переходим к настройке.

Чтобы открыть настройки можно прямо на веб-странице с которой производилась установка нажать на иконку настроек, либо открыть утилиту «Дополнительные настройки» и на вкладке «Расширения» из списка выбрать наше расширение.

Открыв настройки, мы увидим окно с четырмя вкладками: «Поожение и размер», «Поведение», «Внешний вид» и информация о дополнении:

На вкладке «Положение и размер» можно выбрать на каком мониторе отображать Dash, если у вас их несколько, положение (слева, справа, сверху, снизу), способ скрытия, и размер дока и и конок.

На следующей вкладке «Поведение» можно настроить содержимое панели: какие приложения отображать (избранные, запущенные). Так же здесь можно отключить кнопку «Приложения» и т.п:

Вкладка «Внешний вид» позволяет настроить размер дока (сжать его), прозрачность:

В общем, после нескольки минут настройки Dash легко можно превратить в нативный, вполне функциональный док-бар, в результате чего у вас отпадает необходимость использовать для этого сторонние программы:

Источник

Installing Dash to Dock on Ubuntu – GNOME Shell Extension

Dash to Dock is an extension for the GNOME 3 environment that allows adjusting various settings related to the dock. It modifies the default Ubuntu dock to macOS styled dock that ultimately helps to launch and switching applications quickly and conveniently.

How to install Dash to Dock on Ubuntu 20.10

To install “Dash to Dock” it is required you to have GNOME Tweak Tool. If you do not have this tool, then get it using the command as follows:

If you get the “Package not found” error, then add “universe” repository with the command given below:

After successfully installing the GNOME Tweak Tool, it is time to download the Dash to Dock extension.

To install Dash to Dock open browser and open the following URL:

It will prompt you to install the browser extension first, click and install it.

After installation, you will be prompted with “Permissions” as shown below, hit the “Add” button.

The extension will be installed, and the icon will appear on the top right of the browser window, as shown in the following image:

Now search “Dash to Dock” extension and click on the button to turn it “On”.

And now, launch the “GNOME Tweak Tool”, go to the “Extensions” tab and enable it.

Click on the “Gears” icon to adjust the settings of this extension.

Position and Size

The first option you are going to see is “Position and Size”. There are several settings like:

• The positioning of the Dock
• Dock size limit
• Icon size limit
• Auto hiding dock

Launchers

The next tab is the “Launchers” tab. In this tab, you can check windows previews, workspaces, and monitors. The position of the “Applications” icon can be shifted either left or right as per your convenience, or it can completely be disappeared. You can enable and disable trash can as well.

Behavior

In the behavior tab, you can assign shortcut keys to the applications. Secondly, you can assign functions upon “Click Action” and “Scroll Action”.

Appearance

This option is all about modifying the appearance of the dock. The first option is changing the theme; you can assign a default theme or customize some options of the dock separately.

• Shrink the dash: Enabling this reduces space between apps.
• Windows counter Indicators: There are different indicators of active or open applications. For instance, dots, squares, segments, solids, etc.
• Dash Color: This option allows you to change the color of the dash, which is black by default.
• Opacity: It adjusts the opacity of the dash
• Force straight corner: The corners of the dash are round by default, but it can be made straight by enabling this option.

About the author

Sam U

I am a professional graphics designer with over 6 years of experience. Currently doing research in virtual reality, augmented reality and mixed reality.
I hardly watch movies but love to read tech related books and articles.

Источник

Настройка панели в Ubuntu 18.04

В этой статье мы продолжим говорить про настройку внешнего вида в Ubuntu. Сегодня нас будет интересовать настройка панелей в Ubuntu. Разработчики Gnome, окружения, используемого в Ubuntu по умолчанию, заботятся о максимальной простоте окружения, поэтому спрятали большинство более-менее интересных настроек так, что найти их достаточно сложно.

Но некоторые настройки доступны из dconf editor. Также, благодаря стараниям энтузиастов, для Gnome существует множество расширений, которые позволяют менять внешний вид и поведение панелей Ubuntu.

Настройка панели Ubuntu 18.04

Панелей в Ubuntu две, это док панель слева (Ubuntu Dash), где находятся иконки запуска приложений и меню, и верхняя панель Ubuntu, на которой расположен системный трей и календарь. Для настройки панелей вам понадобится устанавливать расширения, поэтому сначала ознакомьтесь со статьей установка расширений Gnome. Теперь займемся панелью запуска приложений.

1. Изменение положения Ubuntu Dash

По умолчанию панель запуска приложений Ubuntu находится в левой части экрана. Но её можно перенести вправо или вниз. Для этого откройте настройки системы и на вкладке Панель задач выберите нужное расположение:

Здесь же можно включить автоматическое скрытие и настроить размер значков. Все остальные настройки нам придётся делать с помощью расширений.

2. Как убрать Ubuntu Dash

Если вы хотите полностью скрыть боковую панель Ubuntu, нужно установить расширение Dash to Dock и выполнить в терминале такие команды:

gsettings set org.gnome.shell.extensions.dash-to-dock autohide false
gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false
gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false

Чтобы вернуть всё обратно, присвойте всем параметрам значение true вместо false.

3. Превратить Ubuntu Dash в Dock

С помощью расширения Dash to Dock вы можете превратить вашу панель запуска в док панель, похожую на ту, что используется в MacOS. Для этого установите и активируйте расширение Dash to Dock:

Чтобы открыть настройки расширения, кликните по значку меню правой кнопкой и выберите Dash to Dock Параметры:

Здесь вы можете настроить позицию док панели, например, внизу экрана, размер значков, поведение, а также внешний вид.

4. Превратить Ubuntu Dash в панель

С помощью расширения Dash to Panel панель задач Ubuntu 18.04 можно совместить с панелью Dash и перенести вниз экрана, выглядеть это будет вот так:

Настойки панели Ubuntu открываются так же, как и в предыдущем варианте, здесь можно настроить размер панели, её расположение (сверху или внизу), а также её поведение.

5. Классическое меню приложений

Многие пользователи привыкли к классическому меню приложений, похожему на то, что мы можем видеть в Windows. Такое меню можно получить, установив и активировав расширение Application Menu:

6. Формат даты и времени

С основными возможностями настройки панели запуска разобрались, пора переходить ко второй, верхней панели. Здесь вы можете изменить формат вывода даты и времени. Для этого активируйте расширение Panel Date Format.

По умолчанию расширение выводит дату в формате %Y-%m-%d. Формат можно изменить с помощью dconf такой командой:

dconf write /org/gnome/shell/extensions/panel-date-format/format «‘формат»

Вот основные сокращения, которые вы можете использовать:

• %A — полное название дня недели;
• %B — название месяца;
• %C — столетие;
• %d — день месяца в формате 01-31;
• %e — день месяца в формате 1-31;
• %H — часы в формате 00-24;
• %I — часы в формате 01-12;
• %m — месяц в формате 01-12;
• %M — минуты в формате 0-59;
• %Y — год;

7. Расположение уведомлений

Система и приложения могут отправлять пользователю уведомления, которые по умолчанию выводятся вверху, в центре экрана. Если вы изменили расположение панели Ubuntu, возможно, вы захотите изменить место вывода уведомлений. Для этого воспользуйтесь расширением Panel OSD.

Окно настроек расширения можно открыть на вкладке Installed Extensions:

Здесь вы можете точно отрегулировать место появления уведомлений по вертикали и горизонтали с помощью двух ползунков. Например, я хочу, чтобы уведомления показывались сверху, слева.

8. Как переместить панель вниз в Ubuntu

Если вы хотите переместить панель вниз без использования расширения Dash to Panel, то можно воспользоваться расширением BottomPanel. Просто установите его, и ваша системная панель будет перемещена вниз экрана.

9. Глобальное меню на панели Ubuntu

В Ubuntu Unity была такая функция как глобальное меню, когда меню активного приложения выносилось на верхнюю панель. Многим пользователям эта возможность очень нравилась. Сейчас такого поведения можно достичь с помощью расширения Gnome Global Application Menu, чтобы дата не мешала нашему меню, её можно переместить вправо расширением Frippery Move Clock. Так будет выглядеть меню для Firefox:

10. Как скрыть верхнюю панель Ubuntu

Чтобы убрать верхнюю панель Ubuntu, используйте расширение Hide Top Bar. После активации расширения панель прячется только тогда, когда её перекрывают какие-либо окна. Если вы хотите прятать панель Ubuntu всегда, откройте настройки расширения и отключите пункт Only hide panel when a window takes the space. Затем включите Show panel when mouse approaches edge of the screen, чтобы отображать панель, когда мышка прикасается к краю экрана.

Выводы

В этой небольшой статье мы разобрали, как выполняется настройка панели Ubuntu 18.04. Даже несмотря на то, что в интерфейсе Gnome намного меньше настроек, чем в KDE, здесь можно много чего настроить и сделать по своему вкусу. Вы можете сделать Ubuntu похожей на MacOS, Windows или вообще на что угодно, нужно только включить фантазию и потратить немного времени на настройку.

Источник