Post

GNOME Shell Extensions

GNOME Shell Extensions

GNOME Shell

GNOME Shell is the graphic interface used by many Linux system, including the famous Ubuntu. However, the GNOME desktop itself provides few customization options and the interface is not liked by everyone. Extensions are a way of customizing GNOME Shell.

Install extensions

1
2
sudo apt update
sudo apt install chrome-gnome-shell gnome-tweaks gnome-shell-extensions

This will install a few built-in extensions and an extension manager for GNOME. Then open the link to install an Edge extension that allows GNOME extensions to be installed inside the browser. We can also add more extensions.

All public extensions can be found here. Here is a list of the extensions that I use:

Screenshot

img

You can see that the top bar has become half-transparent just like the left dock. Also, an Applications button, weather and system information appeared on the center. On the right, there is an extension manager and clipboard manager. The GNOME Shell desktop is much better than before.

This post is licensed under CC BY 4.0 by the author.