all options
bookworm  ] [  sid  ]
[ Source:  ]

Package: gnome-shell-extension-manager (0.4.2-1) [debports]

Links for gnome-shell-extension-manager

Screenshot

Debian Resources:

Download Source Package :

Not found

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.

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
x32 (unofficial port) 111.0 kB628.0 kB [list of files]