OK, I see. I was looking for something like Makefile or Touch, or echo "text" >> file.txt. Certainly not redirectoutput!

Many thanks!

Ben