KDAriane

h1. Tee

# this shell is an alternative to the standard file saver of Ariane

# given a filename as parameter, it copies the input to it and the ouput.

<pre>

filename=$1; shift

input=$1; shift

output=$1; shift

cat $input | tee $filename > $output

</pre>