file_length - get the number of lines in a file

int file_length( string file );

file_length() returns the number of lines in file 'file'. Size -1 indicates that 'file' either does not exist, or that it is not readable. Size -2 indicates that 'file' is a directory.

Note that this efun is not particularly fast on long files, since determining the number of lines requires reading the entire file.

See also: file_size , stat , get_dir