• unalivejoy
    link
    fedilink
    English
    41 year ago

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