Re: File type misclassification

[Miles Bader]

David Kastrup <address@hidden> writes:
> a) accept "%!" as magic PostScript override (previous behavior)
> b) accept "%!PS" as magic override (what I proposed and checked in)
> c) don't accept any magic postscript override
...
> My point of view is that b) nowadays appears like the most
> pragmatically useful option, judging from problematic cases I have
> seen.

I agree.  (b) is the conservative change.

"%" is a common enough comment character that I can see "%!" as being
slightly risky, but "%!PS" is far less so.

-Miles

-- 
"1971 pickup truck; will trade for guns"