mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-19 10:51:34 +08:00
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.
25 lines
1.0 KiB
XML
25 lines
1.0 KiB
XML
<?xml version="1.0"?>
|
|
<!--
|
|
If the value of 'URL_method' is 'get', the request will consist of the value of 'URL' coming back in
|
|
the initial response. If value of 'URL_method' is 'post', any additional params coming back in the
|
|
initial response ( in addition to 'URL' ) will be encoded and appended to URL and a post will be performed.
|
|
-->
|
|
<tool name="modENCODE modMine" id="modmine" 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://intermine.modencode.org/" check_values="false" method="get">
|
|
<display>go to modENCODE modMine server $GALAXY_URL</display>
|
|
</inputs>
|
|
<uihints minwidth="800"/>
|
|
<outputs>
|
|
<data name="output" format="txt" />
|
|
</outputs>
|
|
<options sanitize="False" refresh="True"/>
|
|
</tool>
|
|
|