comparison WebServiceToolWorkflow/refreshTool.xml @ 0:d5cd409b8a18 default tip

Migrated tool version 1.0.0 from old tool shed archive to new tool shed repository
author ganjoo
date Tue, 07 Jun 2011 18:00:50 -0400
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:d5cd409b8a18
1 <tool id="REFRESH_ID" name="Step 3: Add tool to Galaxy" version="1.0.0">
2 <description> Adds tool to Galaxy and refreshes toolbox.</description>
3 <command interpreter="python">
4 refreshTool.py
5 $input
6 $output
7 </command>
8 <inputs>
9 <param name="input" type="select" display="radio" size="250" label="Execute step 3 by clicking on Execute button">
10 <option value="refresh">Refresh Galaxy</option>
11 </param>
12
13 </inputs>
14 <outputs>
15 <data format="tabular" name="output" />
16 </outputs>
17 <tests>
18 </tests>
19 <help>
20 **To use the newly added tool go to Tools on the left side of this screen.**
21
22 **If you want to use the tool once use the tool under Web service tool.**
23
24 **If you want to use the tool in a workflow use the tool under Web Service Workflow tool.**
25
26 **If the tool is not visible click on "Galaxy" on the top left corner of this window to refresh the page.**
27
28
29 NOTE: Step 3 merely refreshes Galaxy to recognize the newly added tool. After this step, your tool will be registered at two places. Choose the tool depending on the usage.
30
31
32 </help>
33 </tool>
34