hi,
i just uploaded to github a tool I'm working on to manage a PPI installation.
it's a PHP script that allows to uninstall a PPI extension along with it's dependencies. the script is available at
https://github.com/caviola/ppi-man.
i use it from TinyCore booted in TCE mode (you need to have PHP installed).
check it out and tell me what you think and what is missing.
keep in mind that this is a work in progress and
DON'T USE IT ON PRODUCTION.
best regards!