diff export_local_file.xml @ 0:c772c8912663

Uploaded

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/export_local_file.xml	Tue Feb 28 12:36:45 2012 -0500
@@ -0,0 +1,38 @@
+<?xml version="1.0"?>
+<tool id="export_local_file" name="Export dataset">
+  <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>