gnome-shell-extensions: gnome-shell-extensions (GNOME Shell Extensions) gnome-shell-extensions: gnome-shell-extensions: This package contains a collection of extensions providing additional gnome-shell-extensions: and optional functionality to GNOME Shell. gnome-shell-extensions: gnome-shell-extensions: gnome-shell-extensions: gnome-shell-extensions: gnome-shell-extensions: gnome-shell-extensions: https://gitlab.gnome.org/GNOME/gnome-shell-extensions gnome-shell-extensions: