LinuxLinks takes a look at the GNOME Extension Manager.
Excellent Utilities: Extension Manager – Browse, Install and Manage GNOME Shell Extensions
Extensions Manager is a small utility that lets browse and install GNOME extensions without using a web browser.
Excellent Utilities: Extension Manager – Browse, Install and Manage GNOME Shell Extensions
