Ubuntu Desktop's GNOME Shell extensions survey ending soon

[Pander]

On 05/24/2017 04:33 PM, Bernard Tremblay wrote:
> extensions, once popular enough should be part of gnome.
> Then it would save bad experiences when upgrading gnome and losing half
> of your extensions ...  This the main reason why I don't use gnome anymore.

I'd expect/prefer that Ubuntu packages extensions so that they are
tested and fixed where needed. That many functionality has been pushed
out of GNOME and into extensions doesn't mean I want another
package/extension manager separate from my normal package manager.

Once Ubuntu starts shipping with GNOME as default, this should be one of
the major concerns or many users will start leaving. There is only so
much of breakage in the first access level to a system a normal user can
take. Stating, yeah it is up to the extension developer to keep up with
us, is too much to ask from them IMHO.

> Regards,
>                BT
> 
> 2017-05-24 6:57 GMT-04:00 Pander <pander at users.sourceforge.net
> <mailto:pander at users.sourceforge.net>>:
> 
>     On 05/24/2017 11:30 AM, Marius Gedminas wrote:
>     > On Tue, May 23, 2017 at 11:24:01AM -0400, SDA wrote:
>     >> On Mon, May 22, 2017 at 02:54:17PM -0400, Paul Smith wrote:
>     >>> Some of those are slightly useful.  However, here are the couple of
>     >>> shell extensions I always install and could not live without:
> 
>     While on the subject of extensions, please endorse getting this fixed
>     https://bugzilla.gnome.org/show_bug.cgi?id=724076
>     <https://bugzilla.gnome.org/show_bug.cgi?id=724076> Thanks
> 
>     --
>     Ubuntu-GNOME mailing list
>     Ubuntu-GNOME at lists.ubuntu.com <mailto:Ubuntu-GNOME at lists.ubuntu.com>
>     Modify settings or unsubscribe at:
>     https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
>     <https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome>
> 
> 
> 
> 
> -- 
> ---------------------------------------------
> Bernard Tremblay
> Tremblay.Bernard at gmail.com <mailto:Tremblay.Bernard at gmail.com>
> R: (418) 658-1411
> C: (581) 988-1411
> ---------------------------------------------
> Le but de Linux est de gérer vos ressources et faire le travail, 
> le but des OS propriétaire est de vous vendre d'autres licences...
>