File: pid.sh

package info (click to toggle)
gawk 1%3A4.2.1%2Bdfsg-1
  • links: PTS
  • area: main
  • in suites: buster
  • size: 20,880 kB
  • sloc: ansic: 50,919; awk: 12,043; yacc: 6,393; sh: 5,675; makefile: 2,856; sed: 128; csh: 6
file content (3 lines) | stat: -rwxr-xr-x 94 bytes parent folder | download | duplicates (8) 
1
2
3
 
#! /bin/sh
AWK=${AWK-../gawk}
exec $AWK -v "ok_pid=$$" -v "ok_ppid=$1" -f pid.awk 2>/dev/null