Group :: Desktop gráfico/GNOME
RPM: gnome-extension-manager
Navegação
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 0.4.2-alt3
Data da compilação: 26 julho 2023, 11:00 ( 39.5 weeks ago )
Tamanho:: 1296.89 Kb
Home page: https://github.com/mjakeman/extension-manager
Licença: GPL-3.0
Sumário: A utility for browsing and installing GNOME Shell Extensions
Descrição:
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 26 julho 2023, 11:00 ( 39.5 weeks ago )
Tamanho:: 1296.89 Kb
Home page: https://github.com/mjakeman/extension-manager
Licença: GPL-3.0
Sumário: A utility for browsing and installing GNOME Shell Extensions
Descrição:
A native tool for browsing, installing, and managing GNOME Shell Extensions.
With Extension Manager you can:
* Browsing and searching extensions from extensions.gnome.org
* Installation and Removal
* Enabling and Disabling
* Updating in-app
* Screenshots & Images
* Ratings & Comments
Mantenedor currente: Roman Alifanov With Extension Manager you can:
* Browsing and searching extensions from extensions.gnome.org
* Installation and Removal
* Enabling and Disabling
* Updating in-app
* Screenshots & Images
* Ratings & Comments
Lista dos contribuidores Lista dos rpms provida por esta srpm:
- gnome-extension-manager
- gnome-extension-manager-debuginfo