¿Qué es $$ en bash?

Question

Hay un script que desarrollé con él, tiene una línea de comando como la siguiente:

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

al final del comando vemos $$que produce un número. cuando lo uso echo $$en bash también veo un número como el siguiente:

 #echo $$
 23019

¿Qué es exactamente este número y qué es $$?

Answer 1

DeGuía avanzada de secuencias de comandos Bash:

$$ es el ID del proceso (PID) del propio script.

$BASHPID es el ID del proceso de la instancia actual de Bash. Esto no es lo mismo que la variable $$, pero a menudo da el mismo resultado.

Answer 2

$$es el ID del proceso de la instancia de shell actual. Entonces, en su caso, el número 23019 es el PID de esa instancia de bash.

Lo siguiente debería darle una mejor idea:

ps -p $$