J'utilise Safari pour lire la documentation HTML fournie avec un produit. De nombreux fichiers .html contiennent des liens vers d'autres fichiers, dont la casse de l'URL ne correspond pas au nom du fichier. Par exemple, somefile.html contient
<A HREF="AnotherFile.html">...</A>mais le fichier réel est nommé anotherfile.html, tout en minuscules.
La solution de contournement la plus simple consiste à modifier l'URL dans la barre d'adresse de Safari, ce qui est bien pour une seule fois mais devient fastidieux lorsque je suis en train de lire des quantités massives de matière grise. Une solution plus difficile, mais qui ne se présente qu'une seule fois, consiste à modifier les fichiers .html à la main (ou un script perl script ou autre), mais je ne veux pas perdre les correctifs si je mets le truc à jour ou si je dois l'installer sur une autre machine. (Et je n'ai pas envie de faire un tel travail de grunt aujourd'hui).
Existe-t-il une extension Safari ou quelque chose qui permette à Safari de faire un peu plus d'efforts lors de l'ouverture des fichiers, afin de ne pas tenir compte de la casse s'il ne trouve pas initialement une correspondance exacte ? Cela ne doit fonctionner que pour le protocole file :.
