ID de processus (pid) de l'instance actuelle de Bash. Ce n'est pas la même que la variable $$ , mais cela donne souvent le même résultat. Ceci est nouveau dans Bash 4 et ne fonctionne pas dans Bash 3. ~> $ echo "\$\$ pid = $$ BASHPID = $BASHPID"
$$ pid = 9265 BASHPID = 9265
...