[galaxy-dev] delete many galaxy tools

Hi list, How can I delete multiple tools from my galaxy installation? So far I just know how to uninstall single ones through "Manage installed tool shed repositories" - But this is quite nasty if I want to uninstall many of them. Thanks, Alexander PS: I also posted this there: https://biostar.usegalaxy.org/p/12657/ what is the better place? Here or at the forum?