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