galaxyproject / ephemeris

Library for managing Galaxy plugins - tools, index data, and workflows.
https://ephemeris.readthedocs.org/
Other
27 stars 38 forks source link

shed_tool_conf_cleaner.py #94

Closed drosofff closed 5 years ago

drosofff commented 6 years ago

Hi everybody,

If you think that this script can be useful for Galaxy admin, I may push it in ephemeris. Tell me your thoughts.

https://github.com/ARTbio/tools-artbio/pull/284

jmchilton commented 6 years ago

I don't manage shed tool confs ever really, but this looks pretty awesome - thanks for the heads up! I would PR it against Galaxy's scripts/ directory instead of ephemeris to be honest - I've discussed this a bit here https://github.com/galaxyproject/ephemeris/pull/40#issuecomment-299865581.

drosofff commented 6 years ago

Thanks @jmchilton. Yes I'll do this, probably.

rhpvorderman commented 5 years ago

@drosofff can this issue be closed?

rhpvorderman commented 5 years ago

Closing because now reaction was received from topic starter.