Man muss wissen, dass das Einlesen (insbesondere das zeilenweise Einlesen) gepuffert ist. Das heißt, dass nicht nur eine Zeile aus der Datei gelesen wird, sondern eine "ganze Menge"(TM) (wie viel das genau ist, hängt vom System ab). Davon wird die erste Zeile zurückgegeben. Die nächste Zeile wird dann beim nächsten Aufruf vom "<FILE>" zurückgegeben, wird aber aus dem Speicher geholt und nicht aus der Datei.

Lange Rede, kurzer Sinn: Wegen des Pufferns kann man sich nicht so wirklich darauf verlassen, dass Änderungen in der Datei beim nächsten "<FILE>" bemerkbar sind. Aber im Allgemeinen sind sie es. Aber ausprobiert habe ich es jetzt nicht, ich hab mir das nur so gedacht.