Get tool list entrypoint and improvements - Githubissues

galaxyproject / ephemeris

Library for managing Galaxy plugins - tools, index data, and workflows.

https://ephemeris.readthedocs.org/

Other

27 stars 38 forks source link

Get tool list entrypoint and improvements #17

Closed mvdbeek closed 7 years ago

mvdbeek commented 7 years ago

tool_shed_url will have a trailing slash added
add https if tool_shed_url doesn't list protocol
get-tool-list entrypoint

Ping @jmchilton

jmchilton commented 7 years ago

Marvelous!