5
|
1 <tool id="editheader" name="Edit Header" version="0.2">
|
|
2 <description></description>
|
|
3 <command interpreter="sh">
|
6
|
4 editheader.sh "$header" $input_file $output_file $replace
|
5
|
5 </command>
|
|
6 <inputs>
|
|
7 <param name="input_file" type="data" format="tabular" label="File (tabular)"/>
|
6
|
8 <param name="header" type="text" size='120' value="" label="Header line (tab-delimited)">
|
5
|
9 <sanitizer sanitize="False"/>
|
|
10 </param>
|
6
|
11 <param name="replace" type="boolean" truevalue="1" falsevalue="0" checked="False" label="Replace the first line" />
|
5
|
12 </inputs>
|
|
13 <outputs>
|
|
14 <data name="output_file" type="data" format="tabular" label="${tool.name} on ${on_string}"/>
|
|
15 </outputs>
|
|
16 <help>
|
6
|
17
|
|
18 **Header line**
|
|
19
|
|
20 Use '\\t' to input tab. Example:
|
|
21
|
|
22 col1\\tcol2\\tcol3
|
|
23
|
|
24 Or, copy and paste tab-delimited text (from Excel, etc.)
|
|
25
|
|
26 col1 col2 col3
|
|
27
|
|
28 **Replace the first line**
|
|
29
|
|
30 Check to replace the first line of the original file (= typically, the old header line) with the new header line.
|
|
31
|
5
|
32 </help>
|
|
33 </tool>
|