Qu'est-ce que $$ in bash?

il y a un script avec lequel j'ai évolué, il a une command line comme ci-dessous:

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

à la fin de la command, nous voyons $$ qui produit un nombre. quand j'utilise echo $$ dans bash je vois aussi un nombre comme ci-dessous:

  #echo $$ 23019

quel est exactement ce nombre, et qu'est-ce que $$ ?

De Advanced Bash-Scripting Guide:

$$ est l'ID du process (PID) du script lui-même.

$ BASHPID est l'ID de process de l'instance actuelle de Bash. Ce n'est pas la même chose que la variable $$, mais cela donne souvent le même résultat.

$$ est l'ID de process de l'instance de shell en cours. Donc dans votre cas le nombre, 23019, est le PID de cette instance de bash .

Ce qui suit devrait vous donner une meilleure idée:

 ps -p $$