On 05/15/2015 09:07 AM, Narcis Garcia wrote: > How does Mozilla solve the third-party development of extensions to > manage the addition and updates in addons.mozilla.org ? > > Is it really necessary to be a single website (the official) with the > only extensions repository? Similar to app.packages, how about the PPA > model apart of main/supported repositories? >
You can use the good old package managers to install extensions and then enable them in the GNOME Tweak Tool. Arch Linux has tons of gnome-shell-extension-* packages in its user-supplied repository. When using packages, the burden of supporting the extensions is on the distribution, however. Allowing for multiple *web* repositories for per-user un-package-managed installations seems like something we don't need unless someone is really interested in maintaining a separate web repository.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
