‘Extension Manager’ App Helps You Install and Manage GNOME Shell Extensions

Extension Manager is an interesting alternative to GNOME's official Extensions app to help you manage GNOME shell extensions. Let's take a closer look.

from It's FOSS https://ift.tt/oeZ5CYp
via IFTTT