annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
1 <tool id="unicode_stdout" name="unicode_stdout" version="0.1">
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
2 <description>Produce unicode on stdout and output file, for testing</description>
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
3 <requirements><requirement type="set_environment">PATH</requirement></requirements>
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
4 <command>print_unicode.py /dev/fd/1 $out_file1</command>
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
5 <outputs>
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
6 <data format="txt" name="out_file1" />
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
7 </outputs>
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
8 <help>
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
9 **WARNING**
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
10
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
11 This tool may crash your Galaxy server.
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
12
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
13 Indeed, the whole point of this tool is to troubleshoot unicode handling errors in Galaxy.
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
14
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
15 Unless you are a core galaxy developer, you probably shouldn't be running it.
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
16 </help>
e8df78caf3f3 Initial public version
Simon Guest <simon.guest@agresearch.co.nz>
parents:
diff changeset
17 </tool>