[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gawk-stable] bug: fatal error when getline from directory
From: |
Eli Zaretskii |
Subject: |
Re: [gawk-stable] bug: fatal error when getline from directory |
Date: |
Mon, 05 Jan 2009 22:20:03 +0200 |
> Date: Mon, 5 Jan 2009 14:47:35 +0100
> Cc: address@hidden, address@hidden, address@hidden,
> address@hidden, address@hidden
> From:Paolo <address@hidden>
>
> On Mon, Jan 05, 2009 at 06:08:19AM +0200, Eli Zaretskii wrote:
> > > please define 'human-readable'.
> >
> > Consisting of words in some human language.
>
> that's a rather limited 'text file'
You asked for a definition, and I gave you one. Since you seem to
disagree with Posix, I thought something less complex will do;
evidently, it doesn't.
> then awk couldn't process eg b64-encoded
> email msgs
Not true: you are confusing text with its encoding.
> > Being able to read such a file does not mean that processing it with
> > Gawk will give you anything sensible.
>
> I'm not claiming that; an extension could be devised to let it do something
> useful.
I/O is core Gawk functionality; you cannot extend it around the design
limitations of that.
> The point is that aborting the script on getline is, welI, pointless.
As is arguing with you, since you evidently disagree with anything and
anyone but yourself.
- Re: [gawk-stable] bug: fatal error when getline from directory, (continued)
- Re: [gawk-stable] bug: fatal error when getline from directory, Paolo, 2009/01/05
- Re: [gawk-stable] bug: fatal error when getline from directory, Eli Zaretskii, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Paolo, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Andreas Schwab, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Eric Blake, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Paolo, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Andrew J. Schorr, 2009/01/05
- Re: [gawk-stable] bug: fatal error when getline from directory, John Cowan, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Eli Zaretskii, 2009/01/04
- Re: [gawk-stable] bug: fatal error when getline from directory, Paolo, 2009/01/05
- Re: [gawk-stable] bug: fatal error when getline from directory,
Eli Zaretskii <=
- Re: [gawk-stable] bug: fatal error when getline from directory, Paolo, 2009/01/05
- Re: [gawk-stable] bug: fatal error when getline from directory, Andrew J. Schorr, 2009/01/05
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/03
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/03
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/05
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/05
Re: [gawk-stable] bug: fatal error when getline from directory, Aharon Robbins, 2009/01/06