/usr/share/awk
NameSizeModeActions
assert.awk3820644editdlrm
bits2str.awk3270644editdlrm
cliff_rand.awk3070644editdlrm
ctime.awk2330644editdlrm
ftrans.awk3170644editdlrm
getopt.awk22410644editdlrm
gettime.awk24910644editdlrm
group.awk18100644editdlrm
join.awk3780644editdlrm
libintl.awk2380644editdlrm
nextfile.awk3860644editdlrm
noassign.awk4220644editdlrm
ord.awk9370644editdlrm
passwd.awk11640644editdlrm
readable.awk4460644editdlrm
rewind.awk4040644editdlrm
round.awk6610644editdlrm
strtonum.awk14550644editdlrm
zerofile.awk4240644editdlrm
Edit: /usr/share/awk/rewind.awk (404B)
# rewind.awk --- rewind the current file and start over # # Arnold Robbins, arnold@skeeve.com, Public Domain # September 2000 function rewind( i) { # shift remaining arguments up for (i = ARGC; i > ARGIND; i--) ARGV[i] = ARGV[i-1] # make sure gawk knows to keep going ARGC++ # make current file next to get done ARGV[ARGIND+1] = FILENAME # do it nextfile }