Current Path :
/
usr
/
share
/
gawk
/
Or
Select Your Path :
Upload File :
New :
File
Dir
//usr/share/gawk/rewind.awk
# 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 }
