Extension

Back in December 2020 I wrote up my personal Must-Have GNOME extensions. It’s been nearly three years, two job changes, and a few Ubuntu upgrades, so I thought I’d take another look.

tl;dr:

What changed

Out

I no longer have these installed.

Sound Switcher Indicator

This used to crash a lot for me, to the point I’d go and look for it in the panel and it was missing. I figured if I don’t realise it’s gone, I probably don’t need it that much. Also, GNOME shell volume control has changed a bit over the last few years. It’s pretty easy to switch device now in the menu.

I currently run Ubuntu 20.10 on my main desktop PC. GNOME Shell is the default desktop, and while it’s great, one very useful feature is the ability to supplement or alter the default behaviour with extensions and other add-ons. Ubuntu ships with a couple of extensions by default, but I’ve added a few on top, and this blog post details what they are and how to get them, in no particular order…