Another request for a new built-in function was for a rewind
function that would make it possible to reread the current file.
The requesting user didn't want to have to use getline
(see Getline)
inside a loop.
However, as long as you are not in the END
rule, it is
quite easy to arrange to immediately close the current input file
and then start over with it from the top.
For lack of a better name, we'll call it rewind
:
# rewind.awk --- rewind the current file and start over 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 }
This code relies on the ARGIND
variable
(see Auto-set),
which is specific to gawk.
If you are not using
gawk, you can use ideas presented in
the previous section
to either update ARGIND
on your own
or modify this code as appropriate.
The rewind
function also relies on the nextfile
keyword
(see Nextfile Statement).
See Nextfile Function,
for a function version of nextfile
.