Ephemeris is a great tool to manage galaxy server by API point, but it could be cool if we can use it to remove some tools.
Advantages of this options :
when galaxy managment is provided usinf git ci/cd, it more easy to manage install or remove tool using ephemeris
also linked to the first point, some errors happen during tool installations or galaxy updates wich need to remove and re-install tools and could be great to not use GUI webpage
For dev (as in my case), easy to use galaxy with this option for test with several deployments
For dev, when using a galaxy into a web service in the backend, more easy to manage also
I saw that bioblend api has a end-point to remove tool
Ephemeris is a great tool to manage galaxy server by API point, but it could be cool if we can use it to remove some tools. Advantages of this options :
I saw that bioblend api has a end-point to remove tool