bash 4.0:サブシェルのPID
こんなスクリプトを書く。
echo $$ (echo $$ | cat) (echo $BASHPID | cat)
bash 3.2での結果。
12111 12111
サブシェルの$$は親シェルと同じ。BASHPIDは無し。
bash 4.0での結果。
12122 12122 12127
$$は変わらないが、BASHPIDでサブシェル自身のPIDがとれる。
コメント
コメントの投稿
トラックバック
http://emasaka.blog65.fc2.com/tb.php/563-e7f373b9
