Tim Shaw wrote:
echo big long complicated error message goes here | tee -2
How about "tee /dev/stderr" instead of a new option? "tee /dev/stderr" already works on many platforms now. We could easily arrange for it to work on the remaining platforms where it does not already work.
