I was suggesting both cases to give ideas around the problem of checking all extensions and updates in extensions.gnome.org
El 16/05/15 a les 07:51, Florian Pelz ha escrit: > 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. > > > > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-shell-list > _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
