File: pid.sh

package info (click to toggle)

gawk 1%3A5.2.1-2

links: PTS
area: main
in suites: bookworm, forky, trixie
size: 25,256 kB
sloc: ansic: 54,687; awk: 14,521; yacc: 6,814; sh: 6,418; makefile: 3,004; sed: 119; python: 31; csh: 6

file content (3 lines) | stat: -rwxr-xr-x 94 bytes

1
2
3

#! /bin/sh
AWK=${AWK-../gawk}
exec $AWK -v "ok_pid=$$" -v "ok_ppid=$1" -f pid.awk 2>/dev/null