gsem (pypi): Command line extension manager for Gnome-Shell
Keywords: gnome-shell|gnome|cli|command-line-tool|gnome-shell-extension