Kali linux dash to dock

Dash to Dock

GNOME Shell Extension

A dock for GNOME

Simple, customizable, fully integrated into GNOME Shell

Dash to dock extension is an enhanced dash for GNOME Shell. It moves the default dash out of the overview and transforms it in a dock for an easier launching of applications and a faster switching between windows and workspaces without leaving the desktop view improving the workflow in your Linux system or wherever GNOME 3 is running. It supports autohide and intellihide modes as well as a fixed mode. Optional features are available in the extension settings. The extension is themes friendly.

v67: new release available (introducing support for GNOME Shell 3.34)

A new version of Dash to Dock (v67) introducing support for GNOME Shell 3.34 has been released.

v66: new release available (introducing support for GNOME Shell 3.32)

A new version of Dash to Dock (v66) introducing support for GNOME Shell 3.32 has been released.

v65: new release available (bug fixes and performance improvements)

A new version of Dash to Dock (v65) supporting GNOME Shell from version 3.18 to 3.30

mic2xg7x@gmail.com (Remove the numbers from the email address)

Dash to Dock exists in the first place to suit my own needs. However, it might be usefull to you too. This software is distributed under the terms of the GNU General Public License, version 2 or later.

Источник

Установка 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 в одну.

Источник

Dash to Dock

GNOME Shell Extension

Installation

Compatibility

Dash to Dock extension is compatible with all systems capable of running GNOME 3, including GNU/Linux and *BSDs. It is compatible with all GNOME Shell version since GNOME 3.2, although more features and improvement have been added only to the most recent Shell version.

Extension website

The easiest and suggested way to install and keep the extension updated is through the official Gnome Shell Extensions site.

Install the extension through the extensions website. The installation process is as simple as sliding a button.

The installation process is as simple as sliding a button. The extension can then be enabled and disabled through the same site or with gnome-tweak-tool.

Manual installation

You can also obtain the extension in the form of a zip archive from the release page. Look for the latest version supporting your shell version. The extension can be installed by means of gnome-tweak-tool or alternatively by directly extracting the archive in the a directory named dash-to-dock@micxgx.gmail.com inside

Shell reload is required Alt+F2 r Enter . The extension can be enabled with gnome-tweak-tool or with dconf by adding ‘dash-to-dock@micxgx.gmail.com’ to the /org/gnome/shell/enabled-extensions key.

Installation from source

The extension can be installed directly from source, either for the convenience of using git or to test the latest development version. Clone the desired branch with git

or download the branch from github. The master branch usually target the latest GNOME Shell version. There are gnome-3.x branch with the latest code for older versions. In case you are running a development version ( that is an even version), although the extension is not guaranteed to work, you should look for a development branch and manually add your version in the metadata.json. Sometimes the previous stable version works with minor bugs also in the development GNOME Shell.

A simple Makefile is included. Run

to install the extension in your home directory. A Shell reload is required Alt+F2 r Enter and the extension has to be enabled with gnome-tweak-tool or with dconf.

As an alternative the zip archive can be generated with

Then follow the instructions above to install the zip-archive.

mic2xg7x@gmail.com (Remove the numbers from the email address)

Dash to Dock exists in the first place to suit my own needs. However, it might be usefull to you too. This software is distributed under the terms of the GNU General Public License, version 2 or later.

Источник

Gnome 40 и Dash-to-Dock

И так, есть Gnome 40 на дистрибутиве на основе арча и желание иметь нормальный док. Раньше пользовался расширением dash-to-dock, но 40 гном ее не поддерживает, а по сему вопрос, как еще можно сделать нормальный док?

Зачем? Попробуй пользоваться без него.

но 40 гном ее не поддерживает

Процеc допиливания dash-to-dock здесь.

Уже попробовал, думал привыкну. Увы, нет. Он мне был удобен, был удобен доступ все время, а не только в режиме обзора. Да и просто он выглядел приятно.

Попробовал установить, использовал команды:

Вторая и третья команды выдали ошибку, а так все прошло относительно гладко. Однако результат это не дало. В расширениях dash-to-dock не появился.

Подучи немного матчасть, а то копипаста тебя подводит. У меня получилась следующая последовательность команд

И перезайди в сеанс, чтобы расширение подцепилось.

Подводит. При make выдает ошибку:

glib-compile-schemas ./schemas/
sassc —omit-map-comment _stylesheet.scss stylesheet.css
make: sassc: Нет такого файла или каталога
make: *** [Makefile:66: stylesheet.css] Ошибка 127

dash-to-dock в оф репозитории дистра есть?

в манжаре все работает

Есть. Хз, почему сразу там не посмотрел. Установил, но увы, после перезагрузки оно просто стало выдавать ошибку.

нету. в ауре может есть, но не в оф репах

dash-to-dock, но 40 гном ее не поддерживает

К своему не малому удивлению про запуске системы сегодня обнаружил dash-to-dock среди установленных и корректно работающих расширений. Ничего с ним не делал и удалил установленную из официального репозитория дистрибутива версию. Как я предполагаю, это она мутировала и заработала после второй перезагрузки.

Спасибо тебе добрый человек. Все отлично работает.

Источник

Делаем 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 легко можно превратить в нативный, вполне функциональный док-бар, в результате чего у вас отпадает необходимость использовать для этого сторонние программы:

Источник