[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: