view 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 source

<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>