This returns the line number that $read() previously returned.
$readn
If $readn returns 0 $read() failed to match any content.
echo -ag $+(",$read(Example.txt),") is on line number $readn
Categories: File and Directory Identifiers