|
| From: | Henri Sivonen |
| Subject: | Re: special characters in filenames in error messages |
| Date: | Thu, 4 Dec 2008 11:47:08 +0200 |
On Dec 3, 2008, at 14:50, Bruno Haible wrote:
So my proposal is:
- For parsing:
- If the first character is a '"', then the escaped syntax is
in use. The filename is enclosed in "..."; inside,
- occurrences of '"' and '%' are escaped as %22 and %25,
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.
The reason for suggesting quoting in the first place was allowing absolute URIs as file names in the GNU error format. URIs already use % for escaping, so making % special on the layer carrying the URI would be very inconvenient, since it would break copy-pasteability and human-readability of URIs.
-- Henri Sivonen address@hidden http://hsivonen.iki.fi/
| [Prev in Thread] | Current Thread | [Next in Thread] |