Ubuntu Desktop's GNOME Shell extensions survey ending soon

Bernard Tremblay tremblay.bernard at gmail.com
Wed May 24 14:33:14 UTC 2017


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.

Regards,
               BT

2017-05-24 6:57 GMT-04:00 Pander <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 Thanks
>
> --
> Ubuntu-GNOME mailing list
> Ubuntu-GNOME at lists.ubuntu.com
> Modify settings or unsubscribe at: https://lists.ubuntu.com/
> mailman/listinfo/ubuntu-gnome
>



-- 
---------------------------------------------
Bernard Tremblay
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...


More information about the Ubuntu-GNOME mailing list