File: pid.sh

package info (click to toggle)
gawk 3.0.3-1
  • links: PTS
  • area: main
  • in suites: hamm, slink
  • size: 4,520 kB
  • ctags: 2,175
  • sloc: ansic: 20,481; awk: 2,476; yacc: 2,039; makefile: 877; sh: 409
file content (5 lines) | stat: -rwxr-xr-x 96 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
 
#! /bin/sh
AWK=${AWK-../gawk}
echo $$ > _pid.in
echo $1 >> _pid.in
exec $AWK -f pid.awk _pid.in