Run galaxy with default tools included#1381
Run galaxy with default tools included#1381bernt-matthias wants to merge 2 commits intogalaxyproject:masterfrom
Conversation
linter complained about this over here galaxyproject#1381
Co-authored-by: Nicola Soranzo <nicola.soranzo@gmail.com>
|
Can you expose a |
Could be done I guess. But it would be inconvenient for users who so not have a clone of Galaxy. |
|
Fine, but then at least make this optional ? |
|
Could we have --extra_tools be able to take toolbox conf in addition to actual tools and directory. Also I guess we use the name stock tools in the workflow docs for planemo - so maybe add like a flag |
Seems that |
|
How exactly do I get the correct parameter to pass to (I have no local Galaxy, if this matters) |
I wanted to test some Galaxy tools and needed the collection operations. So I thought it might be a good idea to serve planemo with Galaxy's default tools installed:
Not sure what happens if some one calls planemo test/serve on one of the builtin tools....
Alternatively one could use
--extra_toolsbut then the tools are just installed flat in the tool menu.