Ubuntu 18.10: полезные расширения для Gnome | Openusr

Ubuntu 18.10: полезные расширения для Gnome

Функционал используемого в Ubuntu 18.10 рабочего окружения Gnome (3.30) можно эффективно расширить специальными дополнениями. В данном обзоре расскажем об особенностях их установки и их специфике.

Перед началом установки расширений нужно запустить терминал и прописать команду:

sudo apt install chrome-gnome-shell

Далее запускаем файрфокс и переходим по адресу: https://extensions.gnome.org/

В правой части загрузившейся страницы в выпадающем меню выбираем пункт «Current version». Это нужно для того, чтобы были показаны расширения совместимые с текущей версией Gnome:

Чтобы установить расширение нужно щелкнуть на ползунок «OFF»:

Появится окно с предложением установит расширение:

Чтобы удалить расширение, нужно перезагрузить страницу и нажать на красную иконку с крестиком:

Полезные расширения:

Minimize All

https://extensions.gnome.org/extension/760/minimize-all/

В правой верхней части экрана появляется иконка для сворачивания всех запущенных окон:

Window List Mod

https://extensions.gnome.org/extension/1033/window-list-mod/

Создает панель в верхней части экрана с обозначением запущенных окон:

Workspace Scroll

https://extensions.gnome.org/extension/943/workspace-scroll/

При перемещении курсора в самую верхнюю часть экрана и прокрутки колесиком мышки меняются запущенные рабочие пространства:

BottomPanel

https://extensions.gnome.org/extension/949/bottompanel/

Переносит верхнюю панель с часами и всеми индикаторами в нижнюю часть экрана:

Frippery Bottom Panel

https://extensions.gnome.org/extension/3/bottom-panel/

Добавляется классическая нижняя панель с обозначениями запущенных окон:

А какие расширения для Gnome используете Вы?

Добавить комментарий

Ваш e-mail не будет опубликован.

+ 44 = 49