diff unicode_stdout.xml @ 0:e8df78caf3f3 default tip

Initial public version
author Simon Guest <simon.guest@agresearch.co.nz>
date Wed, 25 Sep 2013 11:14:00 +1200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/unicode_stdout.xml	Wed Sep 25 11:14:00 2013 +1200
@@ -0,0 +1,17 @@
+<tool id="unicode_stdout" name="unicode_stdout" version="0.1">
+  <description>Produce unicode on stdout and output file, for testing</description>
+  <requirements><requirement type="set_environment">PATH</requirement></requirements>
+  <command>print_unicode.py /dev/fd/1 $out_file1</command>
+  <outputs>
+    <data format="txt" name="out_file1" />
+  </outputs>
+  <help>
+**WARNING**
+
+This tool may crash your Galaxy server.
+
+Indeed, the whole point of this tool is to troubleshoot unicode handling errors in Galaxy.
+
+Unless you are a core galaxy developer, you probably shouldn't be running it.
+  </help>
+</tool>