gnome-extensions-cli (pypi): Command line tool to manage your Gnome Shell extensions
Keywords: gnome|gnome-shell|gnome-shell-extension