totoAussi Bonjour, je télécharge régulièrement (1 fois par jour) un même fichier (dont le nom ne change jamais) sur un serveur distant par le protocole http, en ligne de commande avec wget. Maintenant, ça m'ennuie de re-télécharger ce fichier distant s'il n'a pas été modifié. Donc je voudrais savoir s'il y a un moyen en ligne de commande de savoir si ce fichier distant a été modifié (en déterminant par exemple sa date de dernière modification, sa taille, ou son md5) pour décider oui ou non de son téléchargement ? J'ai essayé wget avec l'option -S et -N, mais ça n'a pas l'air fiable. Merci d'avance pour vos réponses, cordialement.
WilQu L’option -N fait ce que tu veux qu’elle fasse d’après la doc de wget, mais il faut évidemment que la date de modification du fichier ne soit pas modifiée sur le serveur distant quand le fichier ne change pas. Pour une somme md5 ou autre, il faut que le serveur la fournisse dans un fichier séparé. Tu ne peux pas le faire sans avoir d’abord téléchargé le fichier. Quant à la taille, ce n’est pas une méthode très fiable utilisée seule : deux fichiers de même taille peuvent être différents.
totoAussi Merci WilQu pour ta réponse, je vais me contenter de : wget -S -N --ignore-length "http://www.example.com/fichier-distant"