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 é $$
?
Responder1
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.
Responder2
$$
é 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 $$