view 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
line wrap: on
line source

<tool id="REFRESH_ID" name="Step 3: Add tool to Galaxy" version="1.0.0">
<description> Adds tool to Galaxy and refreshes toolbox.</description>
<command interpreter="python">
	refreshTool.py
	$input
	$output
</command>
  <inputs>
   <param name="input" type="select" display="radio" size="250" label="Execute step 3 by clicking on Execute button">
   <option value="refresh">Refresh Galaxy</option> 
   </param>
   
  </inputs>
  <outputs>
     <data format="tabular" name="output" />
  </outputs>
  <tests>
  </tests>
  <help>
**To use the newly added tool go to Tools on the left side of this screen.**
      
**If you want to use the tool once use the tool under Web service tool.**
      
**If you want to use the tool in a workflow use the tool under Web Service Workflow tool.**
           
**If the tool is not visible click on "Galaxy" on the top left corner of this window to refresh the page.** 
  
  
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.


  </help>
</tool>