>>730,732
サブシェルのPIDはbashの4以降(確か。3にはない)なら、$BASHPIDで得られる
>>732が何言ってるのかわからんけど、他に有用性があるのは sh -c 'echo $PPID'