---

Excellent Utilities: Extension Manager – Browse, Install and Manage GNOME Shell Extensions

Extension Manager is a small utility that lets you browse and install GNOME extensions without using a web browser. The utility auto-detects all installed GNOME extensions, including ‘system extensions’ that are already installed.