|
| From: | Viktor Szépe |
| Subject: | Re: push cannot be redirected in 4.1.5 |
| Date: | Wed, 30 Apr 2014 14:04:02 -0700 (PDT) |
| User-agent: | G2/1.0 |
I am surprised of these different values: echo "MAIN $BASHPID" ; echo "first $BASHPID" >&2 | echo "subshell $BASHPID" MAIN 30551 subshell 8514 first 8513 Why neither side of the pipe has pid 30551? Why are TWO new subshells needed?
| [Prev in Thread] | Current Thread | [Next in Thread] |