Hello Karl,

> So, barring further comments/suggestion, I'll propose that to rms in the
> next couple of days.

Thanks. I think newline characters should be escaped as well (for the sake of 
programs which
read line by line). So the updated proposal is:

   - For parsing:
     - If the first character is a '"', then the escaped syntax is
       in use. The filename is enclosed in "..."; inside it,
         - occurrences of '"' and '%' and newline are escaped as
           %22 and %25 and %0A, respectively,
         - other ASCII characters may be escaped in %nn syntax as well,
           where nn is the hexadecimal notation (case insignificant)
           of the byte value in the ASCII encoding.
     - Otherwise, the filename ends at the first ':' or end of line.

   - For output:
     The escaped syntax is required if the filename contains a ':' or
     newline, or starts with a '"'. It may also be used for other
     filenames.

Bruno


Reply via email to