[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gawk option processing
From: |
Paul Eggert |
Subject: |
Re: gawk option processing |
Date: |
Tue, 21 May 2002 18:29:29 -0700 (PDT) |
> Date: Tue, 21 May 2002 09:20:46 +0200
> From: Stepan Kasal <address@hidden>
> well, the rule generally holds, as shown above. But there are obvious
> exceptions, at least with gawk, since -v and -F options are in fact bits
> of program, not options
Yes, and POSIX makes an exception for options like that, which can be
repeated. They are supposed to be executed in order.