o que é $$ no bash?

Question

existe um script que evoluí com ele, tem linha de comando como abaixo:

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

no final do comando vemos $$que produz um número. quando uso echo $$no bash também vejo um número como abaixo:

 #echo $$
 23019

o que exatamente é esse número e o que é $$?

Answer 1

DeGuia avançado de script Bash:

$$ é o ID do processo (PID) do próprio script.

$BASHPID é o ID do processo da instância atual do Bash. Não é o mesmo que a variável $$, mas geralmente dá o mesmo resultado.

Answer 2

$$é o ID do processo da instância de shell atual. Portanto, no seu caso, o número 23019 é o PID dessa instância de bash.

O seguinte deve lhe dar uma ideia melhor:

ps -p $$