Method Stdio.read_file()

Method read_file

string read_file(string filename)
string read_file(string filename, int start, int len)

Description

Read len lines from a file filename after skipping start lines and return those lines as a string. If both start and len are omitted the whole file is read.

See also

read_bytes(), write_file()