A collection of extensions for GNOME Shell
GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell.
Show experimental packages Show community packages