[ This bug is one of the recommendations in the W3C's "Common User Agent Problems" document, URL above. One bug has been filed on each recommendation, for deciding whether we do it and, if not, whether we should. ] 3.1 Save resources retrieved from the Web on the local system using the appropriate system naming conventions. The media type of a resource retrieved by HTTP [RFC2616] is determined by the content type and encoding returned by the server in the response headers. If the user wants to save a resource locally, the user agent should respect the system naming conventions for files (e.g. PNG images usually have a .png extension). Example: http://www.w3.org/TR/1999/REC-html401-19991224/html40.ps is a view of the gzip'ed PostScript version of the HTML 4.01 specification. The HTTP headers sent by the server include: Content-Type: application/postscript; qs=0.001 Content-Encoding: gzip If saved locally, the filename on most computers should be html40.ps.gz for the applications to recognize the file type. Wrong: Saving this compressed PostScript document as html40.ps is likely to confuse other applications.
This does not apply on Mac OS and (I think) BeOS.
Depends on - bug 31519 "Save as: should add extension to match content type" - bug 24817 "No filenames generated for index files on d/l" - bug 35956 "File extension not changed but gzipped files expanded when saving" - bug 51852 "File -> Save Page As... doesn't honor Content-encoding when page has no-cache"
Assignee: ben → law
Setting target milestone.
Target Milestone: --- → mozilla1.2
spam: over to File Handling.
Component: XP Apps: GUI Features → File Handling
90490's an edge case; we basically do this. Gerv
Status: NEW → RESOLVED
Last Resolved: 16 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.