Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

option to remove a tool #203

Open
pimarin opened this issue Aug 4, 2023 · 0 comments
Open

option to remove a tool #203

pimarin opened this issue Aug 4, 2023 · 0 comments

Comments

@pimarin
Copy link

pimarin commented Aug 4, 2023

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant