Простой менеджер расширений GNOME Shell на верхней панели
Разработчик
grroot
- Сайт проекта
- github.com
- Сообщить о проблеме
- github.com
Extension List
Расширение позволяет удобно управлять расширениями для GNOME: быстро перейти к настройкам расширения, включить/выключить одним нажатием или удалить расширение. Точка рядом с расширением показывает, что расширение включено.
Установка через GNOME Extensions
Перейдите на страницу Extension List в GNOME Extensions.
Нажмите
Установитьи подтвердите установку расширения.
Подсказка
Для установки расширений из браузера необходимы пакет gnome-browser-connector и плагин для браузера GNOME Shell integration для браузеров на базе Chromium или Firefox
Установка через Менеджер расширений
Перейдите по ссылке Установить Extension List и подтвердите открытие Менеджера расширений
Нажмите
Установитьи подтвердите установку расширения.
Установка из репозитория
Осторожно
Данный способ установки расширений крайне не рекомендуется, но имеет право на жизнь:
shell
su -
apt-get update
apt-get install gnome-shell-extension-extension-listshell
epm -i gnome-shell-extension-extension-list... не забывай
Расширения, установленные таким способом, появляются в списке программы «Расширения» только после перезагрузки компьютера.
Давид Султаниязов
Дмитрий Орлов
Олег Щавелев
Жора Змейкин