Uso Safari per leggere la documentazione HTML fornita con qualcosa. Molti dei file .html contengono collegamenti ad altri tra di loro, in cui il caso dell'URL non corrisponde al nome del file. Ad esempio, somefile.html contiene
<A HREF="AnotherFile.html">...</A>
ma il file attuale è denominato anotherfile.html, in lettere minuscole.
La soluzione facile è modificare l'URL nella barra degli indirizzi di Safari, va bene per una volta sola, ma diventa noioso quando sono in giro a leggere enormi quantità di foraggio per il cervello. Una soluzione più dura, ma una volta sola è quella di modificare i file .html a mano (o uno script perl intelligente o altro), ma non voglio perdere le correzioni se aggiorno la cosa o devo installarla su un'altra macchina. (E non ho voglia di fare un lavoro così grintoso oggi.)
Esiste un'estensione di Safari o qualcosa che può rendere Safari un po 'più difficile quando si aprono i file, senza distinzione tra maiuscole e minuscole se inizialmente non trova una corrispondenza esatta? Questo deve funzionare solo per il file: protocollo.