bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: push cannot be redirected in 4.1.5


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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]