view export_local_file.xml @ 6:cbe8bdc3bdac

Uploaded
author david-hoover
date Thu, 08 Mar 2012 09:18:40 -0500
parents 65598330eb1a
children e5a905df7e0b
line wrap: on
line source

<?xml version="1.0"?>
<tool id="export_local_file" name="Export dataset" version="1.0.1">
  <description>to a local filesytem</description>
  <command interpreter="sh">export_local_file.sh $input '$filepath' $userEmail $output</command>
  <inputs>   
    <param name="input" type="data" label="Dataset"/>
    <param name="filepath" type="text" size="100" label="Absolute file path" />
  </inputs>
  <outputs>
    <data format="txt" name="output" label="local export: $filepath" />
  </outputs>
  <help>

.. class:: infomark

**Copying files**

This tool will allow you to export a single file from Galaxy to a local filesystem.
You must have permission to write the file to the given directory, and the file must not yet exist.  This tool will
not overwrite a pre-existing file.

.. class:: warningmark

**Important Notes**

- The file path must be a file, not a directory
- You must give the fullpath to the file (/home/user/myfile.txt, not ./myfile.txt)
- You must have permission to write the file in the given directory

-----

**Example**

- /home/user/bamfiles/abc123.bam
- /data/anotheruser/data/good_data/very_good_data.txt

  </help>
</tool>