[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Is there a way to get the current file number?
|
From: |
Lorenz |
|
Subject: |
Re: [bug-gawk] Is there a way to get the current file number? |
|
Date: |
Wed, 10 Apr 2019 06:02:23 +0000 |
Peng Yu wrote:
>I missed it. I think that it is not named in the best way. It is used
>in the same context as FILENAME, thus, FILEIND or FILEIDX may be a
>better choice.
ARGIND is an extention to ARGV & ARGC, so no FILEIND would be
missleading.
>On 4/9/19, address@hidden <address@hidden> wrote:
>> David's answer is clean and portable. There is also gawk's ARGIND
>> variable. See the manual.
>>[...]
--
Lorenz