Bug 324 – GNU error format should not quote the filename

NOTE: The current preferred location for bug reports is the GitHub issue tracker.

Bug 324 - GNU error format should not quote the filename


Summary:	GNU error format should not quote the filename

Status:	RESOLVED INTENTIONAL

Product:	Validator.nu
Classification:	Unclassified
Component:	General
Version:	HEAD
Hardware:	All All

Importance:	P2 normal
Assigned To:	Nobody

URL:

Depends on:
Blocks:
	Show dependency tree / graph

Reported:	2008-11-14 03:47 CET by Allen Halsey
Modified:	2013-07-12 05:24 CEST (History)
CC List:	1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Allen Halsey 2008-11-14 03:47:03 CET

The sample here:

http://html5.validator.nu/?doc=http%3A%2F%2Fhsivonen.iki.fi%2Ftest%2Fmoz%2Fmessages-types%2Fprecise-error.html&out=gnu

as well as the html5check.py script both quote the filename, but that isn't proper GNU error message format, as described here:

http://www.gnu.org/prep/standards/standards.html#Errors

I was trying to use the html5check.py script as my Emacs compile command, and needed to make following modification to make it work properly:

  for line in response:
    # sys.stdout.write(quotedName)
    sys.stdout.write(filename)
    sys.stdout.write(line)

Comment 1 Henri Sivonen 2008-11-14 12:19:21 CET

The file name is quoted, because it can be a full URI, and full URIs contain a colon.

A user of Validator.nu raised the issue with GNU and the response from the GNU project was that they suggested using C string-like quoting, so I implemented quoting.

I'll ping the contact at GNU.

Comment 2 Michael[tm] Smith 2013-07-12 05:24:39 CEST

Been a long time and no plans to change this behavior. But if you still want it changed, please re-open.