[net.lang] More Names for Redirections

npl@whuxlb.UUCP (06/20/83)

RE: proposed name for file redirection chars, etc.

Agree with jack at rlgvax.  < = from
My own: > = into; >> = append ; | = pipe.

Note that UN*X still accepts ^ as an alternate pipe symbol
since old (UC only) terminals didn't have the | all the time.
Use of "pipe" lets you use whichever is to your liking.