Teach Safari to ignore case if necessary when opening local html file

filesafarisafari-extensions

I'm using Safari to read the HTML documentation that came with something. Many of the .html files contain links to others amongst themselves where the case of the URL does not match the name of the file. For example, somefile.html contains

<A HREF="AnotherFile.html">...</A>

but the actual file is named anotherfile.html, all lower case.

The easy workaround is to edit the URL in Safari's address bar, fine for just once but gets tedious when I'm hopping around reading massive amounts of brain fodder. A harder but once-only workaround is to edit the .html files by hand (or clever perl script or whatever), but I don't want to lose the fixes if I upgrade the thing or have to install it on another machine. (And I don't feel like doing such grunt work today.)

Is there a Safari extension or something that can make Safari try a little harder when opening files, to be case insensitive if it doesn't initially find an exact match? This needs to work only for file: protocol.

Best Answer

If you do have your drive formatted as case sensitive, use Disk Utility (Applications->Disk Utility) to create a non-case sensitive disk image. Copy all the files over to said disk image and you should be good to go.

It's a little bit of a pain to mount the disk image when you need to look at the files, but probably far easier than attempting to normalize the upper/lower caseness of every filename & href in the html.