all options
bookworm  ] [  sid  ]
[ Source: gnome-shell-extension-manager  ]

Package: gnome-shell-extension-manager (0.5.1-5)

Links for gnome-shell-extension-manager

Screenshot

Debian Resources:

Download Source Package gnome-shell-extension-manager:

Maintainers:

External Resources:

Similar packages:

Utility for managing GNOME Shell Extensions

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

Tags: Interface Toolkit: GTK

Other Packages Related to gnome-shell-extension-manager

  • depends
  • recommends
  • suggests
  • enhances

Download gnome-shell-extension-manager

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 146.2 kB767.0 kB [list of files]