Re: Where can I find detailed extension API changes of gnome-shell
- From: Narcis Garcia <informatica actiu net>
- To: gnome-shell-list gnome org
- Subject: Re: Where can I find detailed extension API changes of gnome-shell
- Date: Sat, 16 May 2015 08:33:04 +0200
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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]