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