Re: filenames in error messages

[Bruno Haible]

Eric Blake wrote:
> Are you advocating the following, then?  (the middle file, unquoted, is
> `colon: quote" percent% delimiter>')
> 
> program:simple:line: message
> program:<colon: quote" percent%25 delimiter%3e>:line: message
> program:<http://example.com/file>:line: message

Yes, absolutely. The advantages are obvious:
  - The quoting characters for URLs are < >, the same as are already widely
    used. (You rarely see URLs quoted with " ".)
  - The number of characters that need to be escaped is very small, it's
    only % < > - which are very rare in file names. (On Woe32, < > never
    occur in file names, I think.)
  - The syntax used for escaping is taken from an RFC and well understood by
    users.

Bruno