Group :: Graphical desktop/GNOME
RPM: gnome-extension-manager
Navigation
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 0.4.2-alt3
Build date: 26 july 2023, 11:00 ( 39.5 weeks ago )
Size: 1296.89 Kb
Home page: https://github.com/mjakeman/extension-manager
License: GPL-3.0
Summary: A utility for browsing and installing GNOME Shell Extensions
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 26 july 2023, 11:00 ( 39.5 weeks ago )
Size: 1296.89 Kb
Home page: https://github.com/mjakeman/extension-manager
License: GPL-3.0
Summary: A utility for browsing and installing GNOME Shell Extensions
Description:
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
Current maintainer: 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
List of contributors List of rpms provided by this srpm:
- gnome-extension-manager
- gnome-extension-manager-debuginfo