comparison 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
comparison
equal deleted inserted replaced
-1:000000000000 0:e8df78caf3f3
1 <tool id="unicode_stdout" name="unicode_stdout" version="0.1">
2 <description>Produce unicode on stdout and output file, for testing</description>
3 <requirements><requirement type="set_environment">PATH</requirement></requirements>
4 <command>print_unicode.py /dev/fd/1 $out_file1</command>
5 <outputs>
6 <data format="txt" name="out_file1" />
7 </outputs>
8 <help>
9 **WARNING**
10
11 This tool may crash your Galaxy server.
12
13 Indeed, the whole point of this tool is to troubleshoot unicode handling errors in Galaxy.
14
15 Unless you are a core galaxy developer, you probably shouldn't be running it.
16 </help>
17 </tool>