Re: [gnome-shell-ext] Extensions are not up-to-date on dedicated website

[Mario Wenzel <maweki gmail com>]

Hello,

thank you for reaching out. The extension website doesn't pull from user's github pages but developers submit new extension versions through e.g.o once they feel that their changes merit a new release. They might not have done that so you might be able to file an issue with them to package a new release. It might also be possible that you're running an old shell version and the maintainer decided that this version is no longer supported. Then you would not see a new version through e.g.o either.

Mario

Am Sonntag, den 07.05.2017, 00:35 +0000 schrieb Alexandre Singh:

Hello,

Thank you for all the improvements on GNOME3 since the beginning, it's my favourite DE without a doubt.

However I've seen that (some) core extensions are not up-to-date comparing git master (https://git.gnome.org/browse/gnome-shell-extensions) to gnome-extensions' website (https://extensions.gnome.org/). For example, WindowList, which had several months ago a new feature disabling the workspace indicator if user only has one virtual desktop, is ok using git, but doesn't have this function using extensions' website.

_______________________________________________
gnome-shell-extensions-list mailing list
gnome-shell-extensions-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-shell-extensions-list