On Friday, 30 September 2016 15:04:18 CEST Richard W.M. Jones wrote:
 This appends a single line to a file, with some cleverness
 involving guessing the right line endings to use.
 
 Also adds a test.
 --- 
Makes sense, just a couple of notes.
 +  else (
 +    (* Stat the file.  We want to know it's a regular file, and
 +     * also its size.
 +     *)
 +    let { G.st_mode = mode; st_size = size } = g#statns path in
 +    if Int64.logand mode 0o170000_L <> 0o100000_L then 
I guess maybe it could be better to use g#is_file and g#filesize, to
avoid having to deal at application side with the file mode got in the
appliance.
 +    (* Guess the line ending from the first part of the file, else
 +     * use the default for this guest type.
 +     *)
 +    let newline =
 +      let content = g#pread path 8192 0L in
 +      if String.find content "\r\n" >= 0 then "\r\n"
 +      else if String.find content "\n" >= 0 then "\n"
 +      else default_newline () in 
Should this also check for the Mac end line ('\r')?  (If so, the API
documentation should mention that too.)
Thanks,
-- 
Pino Toscano