File: pid.sh

package info (click to toggle)
gawk 1%3A3.1.0-3
  • links: PTS
  • area: main
  • in suites: woody
  • size: 7,400 kB
  • ctags: 2,878
  • sloc: ansic: 27,734; awk: 3,943; yacc: 2,348; makefile: 1,380; sh: 887; sed: 95
file content (5 lines) | stat: -rwxr-xr-x 108 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
 
#! /bin/sh
AWK=${AWK-../gawk}
echo $$ > _pid.in
echo $1 >> _pid.in
exec $AWK -f pid.awk _pid.in 2>/dev/null