A thousand apologies. Joe Yao suggested the exact same /dev/null
trick I did; I missed it and got distracted by the complicated-
looking Korn shell script at the bottom of his article.
Steve Summit
tektronix!copper!stevesu