Cosa significa "$$" nella shell?


Risposte:



1

Come indicato dall'altra risposta (accettata), $ param rappresenta l'attuale ID di processo (PID) della shell corrente.

L'eco di questo parametro dovrebbe funzionare nella maggior parte delle shell (non solo in Bash):

bash:

$ echo $0
bash
$ echo $$
6780

Bourne:

$ echo $0
sh
$ echo $$
6988

C-Shell:

% echo $shell
/bin/csh
% echo $$
7613

È anche importante notare che i comandi all'interno della shell verranno eseguiti con l' ID del processo padre (PPID) della shell.

$ echo $$
6780
$ ps -ef | grep 6780
aploetz   6780  6770  0 11:15 pts/2    00:00:00 bash
aploetz   8572  6780  0 11:34 pts/2    00:00:00 ps -ef
aploetz   8573  6780  0 11:34 pts/2    00:00:00 grep --color=auto 6780
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.