lint multiple tools at once (command line API change) #139
Description
Current usage:
Usage: planemo lint [OPTIONS] TOOL_PATH
e.g.
$ planemo lint --report_level warn ../pico_galaxy/tools/seq_filter_by_id
$ planemo lint --report_level warn ../pico_galaxy/tools/seq_filter_by_mapping
I would like to be able to list multiple paths in the same command, e.g.
$ planemo lint --report_level warn ../pico_galaxy/tools/seq_filter_by_id ../pico_galaxy/tools/seq_filter_by_mapping
This would then allow wildcard via the command line expansion, e.g.
$ planemo lint --report_level warn ../pico_galaxy/tools/seq_filter_by_*