$ 0 0 If it works, don't fix it. I would use cat < file1 > file2 and not sweat the PC of the semantics.