A question on input redirection

[ron at brl-vgr]

From:      Ron Natalie <ron at brl-vgr>

I'm sorry but:
	cat file1 file2 - file3 | program
is not the same as
	cat file1 file2 /dev/tty file3 | program.

The former, I assert, is more what the user wanted.  For if you
make a shell script with the former called "foo" and do

	foo < filex

It does what you would expect while the second would always read
"/dev/tty" regardless of what the standard input was set to.

-Ron