Short: Extension Manager is an exciting unofficial alternative to the official GNOME Extensions app to help you manage GNOME shell extensions. Let’s take a closer look.
GNOME extensions are incredibly useful. Of course, using more than one might not be the best solution to your problem.
However, if you rely on GNOME Extensions to modify your desktop workflow on any Linux distribution, a convenient option to manage all extensions should save you some time.
The GNOME team already offers you a “Extensions” app to configure and manage GNOME extensions. But, it is not pre-installed on all Linux distributions.
So, should you use the official Extensions app, or is there something better?
Well, technically it depends on your use case and your needs. But, there is a “Extension Managerwhich helps you manage GNOME Shell extensions while allowing you to find and install new extensions without using the browser.
Extensions manager: an alternative to “extensions”
If you already have “Extensions” installed, you may not have a great reason to use it.
However, with the extension manager of Matt Jakemanyou get a useful application to easily enable/disable, configure and install/uninstall new GNOME extensions.
You no longer need to follow the usual method to install GNOME extensions that involve a web page, browser add-on, etc.
It offers a separate tab to find and install available GNOME extensions.
As you can notice in the screenshot above, you don’t need to change the GNOME Shell version number and see if it’s supported. This app directly highlights if the extension is supported on your system.
So you can easily explore the best GNOME extensions and see if it works for you.
Additionally, you can also learn more about an extension by clicking on it. This might improve the way the information is presented, but it should be enough for most.
Extension Manager Features
To summarize the features:
- Configure existing/pre-installed GNOME extensions.
- Enable/disable shell extensions.
- Ability to search for new extensions on the web.
- Install new extensions from the web.
- Choose the app theme according to your preference or follow the system theme.
- Update the extension from the app.
Extensions vs Extension Manager: What’s the difference?
If you’re wondering: what’s the difference between extensions and the extension manager?
here is a screenshot comparison:
Overall, the user interface is a bit different. But it’s basically the same thing, minus the ability to find/install GNOME extensions from the web.
However, you can switch the theme to light/dark (or follow system preferences) with Extension Manager. With extensions, the app follows the default system theme.
Install Extension Manager on Linux
Using the official repositories, you can easily install the extension manager on Ubuntu 22.04 LTS.
Thus, you can search for it in the software center or install it via the terminal using the following command:
sudo apt install gnome-shell-extension-manager
For any other Linux distribution, you can refer to our Flatpak guide and install the Flatpak package available on Flathub.
You should also find it available in AUR for Arch Linux distributions.
Head over to its GitHub page to learn more about the app and other installation methods.
What do you prefer to help manage GNOME shell extensions? Feel free to share your thoughts in the comments.