¶
Расширения
Менеджер расширений - приложение которое позволяет управлять установленными расширениями GNOME. А так же искать и устанавливать новые.
¶ Установка
Из репозитория
epmi gnome-extension-manager
С помощью Flatpak
flatpak install flathub org.gnome.Extensions
Так же Gnome Extension Manager возможно установить с помощью Центра приложений.
¶ Использование
На вкладке "Обзор" можно найти и установить необходимые расширения.
На вкладке "Установленные" можно включать и выключать расширения. Так же нажав на расширение можно увидеть информацию о нем, перейти в подробности или удалить.
Нажав на шестеренку напротив имени расширения можно перейти в настройки расширения, если таковые имеются.
Подробный список расширений и информацию о них можно посмотреть в разделе Расширения Gnome
¶ Дополнительная информация
- Разработчик: GNOME
- Лицензия: GNU GPLv2
- Сайт проекта: https://extensions.gnome.org