Trick out your Fedora
We look at extending Gnome with, er, extensions. Plus, a look at some of the other desktops and Fedora flavours available.
We’ve shown you the Gnome basics, so now let’s look at customising it properly (and – see W box – circumventing it altogether). We said we were going to show you some extensions and we are people of our word. So, install Extension Manager from the Software application. Ubuntu made a reasonable concession to its users when it switched (back) to the Gnome desktop in 2018. It gave them a mouse-accessible dock, which is provided by a Gnome extension. Many users, no matter how they try, can’t live without a dock. So, let’s look at installing one.
You’ll find Ubuntu Dock at http://extensions.gnome. org along with an entry saying not to use it. Because that’s not the real dock, it’s just a mock extension to reserve the name. Instead, we’ll install Dash to Dock, which is what Ubuntu Dock was originally based on. As its name suggests, it takes the Dashboard out of Gnome’s Overview and puts it on the desktop, making it a Dock. This nomenclature is getting complicated. Open Extension Manager from the Overview and once it loads you’ll see (in the System Extensions) that Fedora, too, has some Gnome extensions installed behind the scenes (only the one for overlaying the logo on the default desktop is enabled, so the experience is still very vanilla Gnome).