Hello,
This is a bit on the side, but the behavior of getline in gawk is a bit
strange.
getline $0
returns 0 when EOF.
but
getline "myfile.txt"
never returns 0
like if there in no EOF
What am I missing?
===========================================================================
Patrick DUPRÉ | | email: pdupre(a)gmx.com
Laboratoire de Physico-Chimie de l'Atmosphère | |
Université du Littoral-Côte d'Opale | |
Tel. (33)-(0)3 28 23 76 12 | | Fax: 03 28 65 82 44
189A, avenue Maurice Schumann | | 59140 Dunkerque, France
===========================================================================