0
|
1 <tool id="zip" name="Zip" version="1.0.1" >
|
|
2 <description>and name files</description>
|
|
3 <command interpreter="python">
|
|
4 zip.py
|
|
5 $output
|
|
6 #for $num_repeat in $files
|
|
7 ${num_repeat.file}
|
|
8 ${num_repeat.file_name}
|
|
9 #end for
|
|
10 </command>
|
|
11 <inputs>
|
|
12 <repeat name="files" title="File to zip" min="1">
|
|
13 <param name="file_name" type="text" format="txt" label="Zipped file name (without spaces)">
|
|
14 <validator type="empty_field" message="Required field" />
|
|
15 <validator type="expression" message="Forbidden value (fic.zip)">value != 'fic.zip'</validator>
|
|
16 <validator type="regex" message="Missing extension">.+\..+</validator>
|
|
17 </param>
|
|
18 <param name="file" type="data" label="File" />
|
|
19 </repeat>
|
|
20 </inputs>
|
|
21 <outputs>
|
|
22 <data format="zip" name="output" label="zipped files: archive.zip" />
|
|
23 </outputs>
|
|
24 <help>
|
|
25 **Tool documentation**
|
|
26
|
|
27 This tool simply creates a zip file aggregating the input files. The name for the files has to be chosen by the user, it can't be empty and has to be with a least one extension.
|
|
28
|
|
29 The output is a zip file.
|
|
30
|
|
31 CHANGELOG : This tool can manage large files
|
|
32
|
|
33 --------
|
|
34
|
|
35 **Integrated by:**
|
|
36
|
|
37 Cyril Monjeaud
|
|
38 </help>
|
|
39 </tool>
|