gnome-shell-extension-manager

Utility for managing GNOME Shell Extensions
  https://github.com/mjakeman/extension-manager
  0
  no reviews


The GNOME shell extension manager is a tool for helping you manage your installed GNOME shell extensions.