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