/usr/share/awk/nextfile.awk is in gawk 1:3.1.8+dfsg-0.1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | # nextfile --- skip remaining records in current file
# correctly handle successive occurrences of the same file
#
# Arnold Robbins, arnold@skeeve.com, Public Domain
# May, 1993
# this should be read in before the "main" awk program
function nextfile() { _abandon_ = FILENAME; next }
_abandon_ == FILENAME {
if (FNR == 1)
_abandon_ = ""
else
next
}
|