Re: special characters in filenames in error messages

2008-12-04 Thread Henri Sivonen
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,

Re: special characters in filenames in error messages

2008-12-04 Thread Bruno Haible
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 charac