On Tue, Mar 04, 2003 at 10:20:36AM +0100, Hans Hagen wrote:
At 10:16 PM 3/2/2003 +0100, Simon Pepping wrote: The file checker tries to recognize url's which is also needed for:
\starttext
\typefile{http://www.pragma-ade.com/index.htm}
\stoptext
Are you sure the file:/ should not be file://, or: what schemes should be supported?
A matter of much confusion. If I understand it correctly, file:/ is correct, file:// is definitely incorrect, and file:/// is supposed to be shorthand for file://localhost/, and is thus correct. The // introduce an `authority' (a host), and the file protocol (i.e. a file on the local filesystem) does not have one, or at best the localhost. The Lynx browser uses the localhost variant, with localhost explicitly in the URL. Mozilla uses the variant with ///. See this test file: <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" []> <html> <head> <title>T</title> </head> <body> <p>These work in Mozilla: <a href="test.html">test</a> <a href="file:test.html">test</a> <a href="file:/home/simon/temp/test.html">test</a> <a href="file:///home/simon/temp/test.html">test</a> <a href="file://localhost/home/simon/temp/test.html">test</a> <p>This one does not work in Mozilla: <a href="file://home/simon/temp/test.html">test</a> Mozilla removes //home (the authority) and looks for /simon/temp/test.html. </body> </html> -- Simon Pepping email: spepping@scaprea.hobby.nl