From: Andreas Schwab <sch...@linux-m68k.org>
>> $ echo $? >> 130 >This is the exit code of the *tee process*, which died of signal 2 before >it could receive the rest of the output through the pipe. If you don't >redirect stderr you will see what the shell executed after the pipe was >broken. Ah. That was my mistake. I thought it was coming from the killing process, itself dying. Which it's not supposed to do. Thank you.
