o que é $$ no bash? [duplicado]

Question

existe um script que eu desenvolvi com ele, tem uma linha de comando como abaixo:

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

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

 #echo $$
 23019

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

    

Answer 1

De Guia avançado de script de script:

$$ is the process ID (PID) of the script itself.

$BASHPID is the process ID of the current instance of Bash. This is not the same as the $$ variable, but it often gives the same result.

    

Answer 2

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

O texto a seguir deve fornecer uma ideia melhor:

ps -p $$