Download GNOME Extensions

Provides downloads and compatibility info for GNOME Extensions on extensions.gnome.org.

Install this script ?

Ask a question, post a review, or report the script.

Author

moriel5

Daily installs

Total installs

Ratings

0 0 0

Version

3.24.0.1

Created

2017-03-16

Updated

2017-03-16

License

N/A

Applies to

gnome.org

Manually Download GNOME Extensions from "extensions.gnome.org"

This is a fork of Michael Tunnel's "EGO Zip Download Userscript": https://greasyfork.org/en/scripts/17853-ego-zip-downloads-userscript

As such, please don't expect any support, since this is not meant to replace his version, and may or may not be updated (and even if it will get updated, it will be done so irregularly).

Version History:
3.24.0.1: Added GNOME logo.
3.24: Initial release; Adds support for downloading GNOME 3.22 and 3.24 extensions.

Currently there are still leftovers from Michael Tunnel's extension, they will get cleaned up eventually (I do not have any experience in JavaScript, nor in writing Greasemonkey scripts).