<div dir="ltr">curl a une option method pour faire des HEAD au lieu de GET</div><div class="gmail_extra"><br><div class="gmail_quote">Le 20 janvier 2017 à 23:23, <span dir="ltr"><<a href="mailto:osm.sanspourriel@spamgourmet.com" target="_blank">osm.sanspourriel@spamgourmet.com</a>></span> a écrit :<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="transparent" text="#000000">
<p><span class="">> Désolé pour l'aspect "bourrin" de ma réponse (visiblement ça
te choque)<br></span>
non, pas du tout, je parlais de la solution que j'avais trouvé sur
le net, pas de la tienne.<br>
</p>
<p>HEAD est au contraire une solution élégante (comme dit, je
pensais que les options de curl indiquées dans la "solution"
trouvée le faisait).</p>
<p>> avec des identifiants uniques<br>
C'est aussi pour améliorer les caches : si le contenu change, la
page change et du coup le cache sera "naturellement" périmé.<br>
</p>
C'est aussi un peu le principe de magnet de Torrent : tu cherches
une info par la signature de son contenu.<br>
Mais justement cette utilisation donne des URL instables.<br>
On est d'accord, une redirection d'url par analyse d'un paramètre ou
d'une ancre serait plus pertinent.<br>
D'ailleurs c'est maintenant le cas :<br>
<a href="http://geodesie.ign.fr/fiches/index.php?module=e&action=fichepdf&source=carte&sit_no=7425801" rel="nofollow" target="_blank">http://geodesie.ign.fr/fiches/<wbr>index.php?module=e&action=<wbr>fichepdf&source=carte<b>&sit_no=<wbr>7425801</b></a><br>
Simplement il faudrait une version plus basique avec moins de
paramètres pour qu'elle reste stable dans le temps.<br>
<div dir="ltr"><span class="">
<div><br>
</div>
<div>> Ca doit se produire quand l'IGN a changé de prestataire
et s'est fait fournir un autre système incompatible avec le
précédent et du jour au lendemain décide d'arrêter un système
pour brancher l'autre sans prévoir aucune migration autre que
depuis une seule page d'accueil.</div>
</span><div>Comme s'il était nécessaire de changer de prestataire pour
qu'il casse les liens ;-(.<span class=""><br>
<br>
> sans prévoir aucune migration autre que depuis une seule
page d'accueil.<br></span>
Ils peuvent sûrement te vendre l'option !<br>
</div>
<br>
</div><span class="">
<blockquote type="cite">
<div dir="ltr">
<div>Connaitre l'identité d'un site est délicate, même avec des
certificats PKI pour HTTPS (qui est malheureusement encore
trop peu déployé, les registrars facturant les certificats
encore trop cher pour nombre de sites).</div>
</div>
</blockquote></span>
Le problème était simplement les 404.<br>
Si on a besoin de plus fin il faut peut-être regarder si dans la
page indiqué le nom de l'objet apparaît.... lourd, bourrin et pas
forcément fiable (un message "la page <nom cherché> n'a pas
été trouvée contiendrait <nom cherché>.<br>
<br>
Jean-Yvon<br>
<br>
</div>
<br>______________________________<wbr>_________________<br>
Talk-fr mailing list<br>
<a href="mailto:Talk-fr@openstreetmap.org">Talk-fr@openstreetmap.org</a><br>
<a href="https://lists.openstreetmap.org/listinfo/talk-fr" rel="noreferrer" target="_blank">https://lists.openstreetmap.<wbr>org/listinfo/talk-fr</a><br>
<br></blockquote></div><br></div>