mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Wolfgang Maier
bd0f257452
Allows moving all data source tools using the script to profile 20.09. For more recent profiles data_source.py would have to work outside of Galaxy's Python environment.
26 lines
1.1 KiB
XML
26 lines
1.1 KiB
XML
<?xml version="1.0"?>
|
|
<tool name="YeastMine" id="yeastmine" tool_type="data_source" version="1.0.0" profile="20.09">
|
|
<description>server</description>
|
|
<edam_operations>
|
|
<edam_operation>operation_0224</edam_operation>
|
|
</edam_operations>
|
|
<command><![CDATA[
|
|
python '$__tool_directory__/data_source.py' '$output' $__app__.config.output_size_limit
|
|
]]></command>
|
|
<inputs action="http://yeastmine.yeastgenome.org/yeastmine/begin.do" check_values="false" method="get">
|
|
<display>go to yeastMine server $GALAXY_URL</display>
|
|
</inputs>
|
|
<request_param_translation>
|
|
<request_param galaxy_name="data_type" remote_name="data_type" missing="auto" >
|
|
<value_translation>
|
|
<value galaxy_value="auto" remote_value="txt" /> <!-- intermine currently always provides 'txt', make this auto detect -->
|
|
</value_translation>
|
|
</request_param>
|
|
</request_param_translation>
|
|
<uihints minwidth="800"/>
|
|
<outputs>
|
|
<data name="output" format="txt" />
|
|
</outputs>
|
|
<options sanitize="False" refresh="True"/>
|
|
</tool>
|