[bug-gawk] Is there a way to get the current file number?

[Peng Yu]

Hi,

FILENAME only gives the filename. Is there a way to get the file number? Thanks.

$ echo 1 > /tmp/1.txt
$ awk -e '{ print FILENAME, $0 }' /tmp/1.txt  /tmp/1.txt
/tmp/1.txt 1
/tmp/1.txt 1

-- 
Regards,
Peng