Quo vadis, extension-tool?
We've shipped gnome-shell-extension-tool
pretty much forever, but it's just not very good.
It's inconvenient to use, and the functionality it can support is limited by the decision to use command-line options for its actions (so more complex actions that require options on their own cannot be added).
Last summer I had some fun writing my own tool, and cleaned it up over Christmas. But now I don't know what to do with it:
- just keep it where it is as a personal side project
- move it under the GNOME umbrella to endorse it officially over the existing tool
- make it part of the gnome-shell sources like the existing tool
I can see good arguments for each of those
There's no strong reason for shipping a tool mostly targeting extension devs to all users, on the other hand we do that with the existing tool. Plus the latter could become a simple wrapper we keep for compatibility if we can rely on the other tool to be around.