[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Awk gets stucked if no filename
From: |
Neil R. Ormos |
Subject: |
Re: [bug-gawk] Awk gets stucked if no filename |
Date: |
Wed, 29 Nov 2017 12:42:16 -0600 (CST) |
address@hidden wrote:
> Hi.
> "Neil R. Ormos" <address@hidden> wrote:
>> address@hidden wrote:
>> > Xavier Martinez Serrano <address@hidden> wrote:
>> As the manual is currently formulated, is it
>> entirely fair to characterize an empty string,
>> which has been provided as a command-line
>> argument, as something other than a filename, so
>> as to satisfy the condition "when no filenames are
>> named on the command line"?
> Look again:
> f=""
> awk '{print("hi")}' $f
> The expansion of $f in this instance is not the
> explicit null string ("") but rather *nothing*.
> [...] In that case, gawk has no command line
> arguments, so it reads standard input.
Of course you're right. Apologies for the spurious comments.
Best regards,
--Neil Ormos