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 <[email protected]>:
> 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
> [email protected]
> Modify settings or unsubscribe at: https://lists.ubuntu.com/
> mailman/listinfo/ubuntu-gnome
>
--
---------------------------------------------
Bernard Tremblay
[email protected]
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
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
