After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 700031 - Users should be able to dowload sources for extensions, also if incompatible with their gnome-shell version
Users should be able to dowload sources for extensions, also if incompatible ...
Status: RESOLVED DUPLICATE of bug 666632
Product: website
Classification: Infrastructure
Component: extensions.gnome.org
current
Other Linux
: Normal normal
: ---
Assigned To: Shell extensions maintainer(s)
Shell extensions maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2013-05-09 19:48 UTC by Paolo Inaudi
Modified: 2013-06-25 12:58 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Paolo Inaudi 2013-05-09 19:48:01 UTC 
If the extension is not compatible with my shell version, you can put to on the spin button, but it doesn't gets downloaded, without any notice.

As I'm a developer, I would find it a good thing to be able to download the zip file of extension sources, to be able to install it manually and troubleshoot it. This helps also in installing extension on computers not connected to the Internet, since not all developers provide a website where you can download their extension.

Thanks for your time
Paolo
Comment 1 Paolo Inaudi 2013-06-25 12:58:15 UTC 

*** This bug has been marked as a duplicate of bug 666632 ***