В следующей статье мы рассмотрим Extension Manager. Это неофициальное приложение, которое позволит пользователям искать и устанавливать расширения GNOME Shell с рабочего стола. Все они без необходимости использования веб-браузера, как обычно. Приложение построено на GTK4 и libadwaita и доступно для установки с Flathub.
Сегодня этот инструмент не только позволяет пользователям искать и устанавливать расширения, которые также можно найти на extensions.gnome.org, но и Это даст нам возможность включать или отключать расширения, показывать список установленных расширений, получать доступ к их конфигурации или удалять их.. Приложение все еще довольно новое, его первый релиз состоялся совсем недавно, хотя оно уже получило обновление, в котором его создатель добавил некоторые вещи, о которых просили пользователи.
Как я сказал, для своего первого крупного обновления функций инструмент добавляет многие функции, предложенные людьми. Среди вещей, которые были включены, мы можем найти глобальный переключатель включения / выключения (так же, как официальный инструмент) и четкое разделение установленных пользователем расширений и системных расширений (в алфавитном порядке).
содержание статьи
Общие характеристики менеджера расширений
- Приложение позволит нам поиск расширений на extensions.gnome.org.
- из этого программного обеспечения мы можем установить расширения, если вам нужно использовать веб-браузер или соединитель.
- На экране программы мы можем включать и отключать расширения, в дополнение к возможности их удаления.
- В этой последней версии показаны скриншоты расширений.
- Позволит нам добавить переводы в наш язык.
- У нас будет темная тема и поддержка переопределения цветовой схемы системы.
- Выполняет проверку совместимости версии оболочки.
- В программе также есть некоторые сочетания клавиш, хотя на данный момент они не вносят большого вклада.
- Это даст нам возможность сортировать результаты поиска, даже несмотря на то, что он показывает только 10 лучших. Фильтры для сортировки результатов поиска основаны на популярности, текущем статусе, загрузках или имени. Это те же параметры, которые доступны на основном веб-сайте GNOME Extensions.
- Сейчас показывать расширения пользователя и системы отдельно.
- Эта новая версия добавляет лучшую производительность и стабильность, чем его предыдущая версия.
- Неподдерживаемые расширения теперь помечаются в результатах поиск.
- Программа также показывает некоторые детали расширений, которые мы можем найти. Кроме того, каждое расширение содержит ссылку на страницу extensions.gnome.org.
Установите диспетчер расширений для оболочки GNOME в Ubuntu
Создатель указывает, что использовать пакет Flatpak рекомендуемый способ установки Extension Manager. Если вы используете Ubuntu 20.04 и в вашей системе по-прежнему не включена эта технология, вы можете продолжить гид коллега написал об этом в этом блоге.
Он может установить это приложение открываем терминал (Ctrl+Alt+T) и выполняем в нем следующую команду:
flatpak install flathub com.mattjakeman.ExtensionManager
После установки, чтобы запустить приложение, нужно только поискать лаунчер на нашем компьютере, хотя запустить приложение можно и открыв терминал (Ctrl+Alt+T) и выполнив команду:
flatpak run com.mattjakeman.ExtensionManager
Extension Manager был переведен на несколько языков. Дефолт, программа должна уважать ваш системный язык с самого начала. Однако вам может потребоваться предпринять несколько дополнительных шагов, чтобы Flatpak распознал выбранный вами язык.
Команды, которые отображаются из репозиторий проекта на GitHubможет быть решением этой проблемы. После его применения Extension Manager должен учитывать язык нашей системы.
деинсталляция
к удалить это приложение из нашей команды, вам просто нужно открыть терминал (Ctrl + Alt + T) и выполнить в нем команду:
flatpak uninstall com.mattjakeman.ExtensionManager
Extension Manager — это бесплатное программное обеспечение с открытым исходным кодом. его исходный код можно найти на его Репозиторий GitHub.