• unalivejoy
    link
    English
    54 months ago

    Similarly, $$ is the current PID, $PPID is the parent PID. (Bash)