write_file int write_file(string file, string str) Append the string str into the file file. Returns 0 or 1 for failure or success. See also: file_size, cat, log_file, read_file.