Bug#1007935: ITP: gnome-shell-extension-manager -- Utility for managing GNOME Shell Extensions
Package: wnpp
X-Debbugs-Cc: debian-devel@lists.debian.org
Owner: Heather Ellsworth <heather.ellsworth@canonical.com>
X-Debbugs-Cc: heather.ellsworth@canonical.com
Severity: wishlist
* Package name : gnome-shell-extension-manager
Version : 0.2.3
Upstream Author : Matt Jakeman
* URL : https://github.com/mjakeman/extension-manager
* License : GPL
Programming Lang: C
Description : Utility for managing GNOME Shell Extensions
The GNOME shell extension manager is a tool for helping you manage your
installed GNOME shell extensions.
Other Info
-----------
This app will be maintained by the Debian GNOME team. Packaging is at
https://salsa.debian.org/gnome-team/gnome-shell-extension-manager
It is useful for providing an easy way for folks to enable and use various
GNOME shell extensions.
Thanks,
Heather
Reply to: