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