Some of those are slightly useful. However, here are the couple of shell extensions I always install and could not live without:
* Frippery Panel Favourites: https://extensions.gnome.org/extension/4/panel-favorites/ * system-monitor: https://extensions.gnome.org/extension/120/system-monitor/ At home I also installed an extension that puts the audio chooser into the main system menu so I can easily switch back and forth between my normal headphones and my mic'd headphones. But, I'm at work and I can't remember the name of that one. I also have a CSS file that squashes the menu bars etc. to be as small as possible instead of those horrible fat menus that GNOME's default theme uses :-/. With these changes I'm very happy with GNOME. On Mon, 2017-05-22 at 13:56 -0400, Jeremy Bicha wrote: > The Ubuntu Desktop Team is running a short survey about some popular > GNOME Shell extensions. > > My understanding is that the survey was intended to run for one week, > so today is about the last day to complete the survey if you haven't > already: > > http://www.omgubuntu.co.uk/2017/05/ubuntu-desktop-gnome-extensions-survey-1710 > > Thanks, > Jeremy Bicha > -- Ubuntu-GNOME mailing list Ubuntu-GNOME@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
