oscar@utcsrgv.UUCP (Oscar M. Nierstrasz) (11/25/83)
The line setenv shellpid=$$ should, of course, read setenv shellpid $$ -- UUCP { ihnp4 cornell decwrl watmath uw-beaver ubc-vision sask garfield qucis linus mcgill-vision }!utcsrgv!oscar or { allegra decvax duke floyd }!utzoo!utcsrgv!oscar