1# rewind.awk --- rewind the current file and start over 2# 3# Arnold Robbins, arnold@skeeve.com, Public Domain 4# September 2000 5 6function rewind( i) 7{ 8 # shift remaining arguments up 9 for (i = ARGC; i > ARGIND; i--) 10 ARGV[i] = ARGV[i-1] 11 12 # make sure gawk knows to keep going 13 ARGC++ 14 15 # make current file next to get done 16 ARGV[ARGIND+1] = FILENAME 17 18 # do it 19 nextfile 20} 21