bashの$$は何ですか? [コピー]

bashの$$は何ですか? [コピー]

これを使ってスクリプトを開発しましたが、そのコマンドは次のとおりです。

mytemp=`echo ${sourcedir}|awk -F/ '{printf "/%s/tmp",$2}'`/`basename $0`-$1.$$

コマンドが終了すると、$$数字が生成されることがわかります。 Bashで使用すると、echo $$次の数字も表示されます。

 #echo $$
 23019

この数字は正確に何ですか?また何ですか$$

ベストアンサー1

~から高度なBashスクリプトガイド:

$$はスクリプト自体のプロセスID(PID)です。

$ BASHPIDは、現在のBashインスタンスのプロセスIDです。これは$$変数とは異なりますが、通常は同じ結果が得られます。

おすすめ記事