Extension Manager

A utility for browsing and installing GNOME Shell Extensions.

Install

apt install gnome-shell-extension-manager

See also

• GNOME:Extensions

Favorite site

• mjakeman/extension-manager