GNOME Extensions
GNOME Extensions is a small application for managing GNOME Shell extensions. It is usually built as part of gnome-shell, but can be used as a stand-alone project as well.
Bugs should be reported to the GNOME bug tracking system.
Building
Before the project can be built stand-alone, the po directory has to be populated with translations (from gnome-shell).
To do that, simply run the included script:
$ ./generate-translations.sh
License
gnome-extensions-app is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.