gentoo.mahdi.cz

  

dev-python:gnome-extensions-cli


Command line tool to manage your Gnome Shell extensions
https://github.com/essembeh/gnome-extensions-cli

gnome-extensions-cli-0.10.1Apache-2.0
download~amd64 ~x86pypi