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 <pan...@users.sourceforge.net > <mailto:pan...@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@lists.ubuntu.com <mailto:Ubuntu-GNOME@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.bern...@gmail.com <mailto:tremblay.bern...@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... > -- Ubuntu-GNOME mailing list Ubuntu-GNOME@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
