Extension Manager – Browse and Install GNOME Shell Extensions
Extension Manager is a free and open source GNOME Shell Extension manager application for Linux. Using Extension Manager you can browse and search available GNOME Shell Extensions from GNOME website. . You can enable and disable extensions, configure all extension settings and also uninstall extensions. It is a simple and easy to use must have application for your GNOME desktop. It is released under GNU General Public License v3.0.
