Re: special characters in filenames in error messages

[Karl Berry]

Bruno,

What I don't understand with your proposal is how this magical url
vs. file bit is known.  For example, if someone runs Henri's validator
in Emacs, it seems to me that next-error is going to have heuristically
guess whether it is a url to know how to interpret %'s.

Anyway, this decision seems like a judgement to me, not something that
can be considered provably better.  And rms is the one whose judgement
counts.  I'll write him about it unless you want to do so.

karl