Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!seismo!hao!hplabs!sri-unix!ron@brl-vgr
From: ron@brl-vgr@sri-unix.UUCP
Newsgroups: net.unix-wizards
Subject: Re:  A question on input redirection
Message-ID: <12061@sri-arpa.UUCP>
Date: Mon, 26-Sep-83 15:26:31 EDT
Article-I.D.: sri-arpa.12061
Posted: Mon Sep 26 15:26:31 1983
Date-Received: Fri, 30-Sep-83 00:33:13 EDT
Lines: 16

From:      Ron Natalie <ron@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