Next: , Previous: Extension Sample Read write array, Up: Extension Samples

16.7.10 Reading An Entire File

The readfile extension adds a single function named readfile():

@load "readfile"
This is how you load the extension.

result = readfile("/some/path")
The argument is the name of the file to read. The return value is a string containing the entire contents of the requested file. Upon error, the function returns the empty string and sets ERRNO.

Here is an example:

     @load "readfile"
     contents = readfile("/path/to/file");
     if (contents == "" && ERRNO != "") {
         print("problem reading file", ERRNO) > "/dev/stderr"