gnome-shell-install-extension (pypi): Install Gnome Shell extension from zip files.
Keywords: gnome-shell|gnome-shell-extension