Skip to content

ci_find_tools: add --group_tools#1008

Merged
jmchilton merged 3 commits intogalaxyproject:masterfrom
bernt-matthias:topic/ci_find_tools_group
Apr 21, 2020
Merged

ci_find_tools: add --group_tools#1008
jmchilton merged 3 commits intogalaxyproject:masterfrom
bernt-matthias:topic/ci_find_tools_group

Conversation

@bernt-matthias
Copy link
Collaborator

instead of

tools/repoA/tool1.xml
tools/repoA/tool2.xml
tools/repoA/tool3.xml
tools/repoB/tool1.xml
tools/repoB/tool2.xml

it will output

tools/repoA/tool1.xml tools/repoA/tool2.xml tools/repoA/tool3.xml
tools/repoB/tool1.xml tools/repoB/tool2.xml

instead of

tools/repoA/tool1.xml
tools/repoA/tool2.xml
tools/repoA/tool3.xml
tools/repoB/tool1.xml
tools/repoB/tool2.xml

it will output

tools/repoA/tool1.xml tools/repoA/tool2.xml tools/repoA/tool3.xml
tools/repoB/tool1.xml tools/repoB/tool2.xml
@jmchilton jmchilton merged commit 8835a61 into galaxyproject:master Apr 21, 2020
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

Successfully merging this pull request may close these issues.

2 participants