Tee¶

1. this shell is an alternative to the standard file saver of Ariane
2. given a filename as parameter, it copies the input to it and the ouput.

filename=$1; shift
input=$1; shift
output=$1; shift

cat $input | tee $filename > $output