Je crée un simple script Bash pour extraire l'heure / la date de modification du fichier d'un fichier distant via HTTP.
Exemple de fichier: http://example.com/bar/example.pdf
Peut-on le faire sans télécharger le fichier réel? Sinon, quelle est la meilleure alternative?
HEAD
. Néanmoins, ces sites vous donneront également le résultat, car ils sont censés tout livrer.--head
option au lieu de-X HEAD
son plus concis pour que la commande devienne:curl -s -v --head http://foo.com/bar/baz.pdf 2>&1 | grep '^< Last-Modified:'
curl -svX HEAD
est encore plus concis ...La réponse du serveur a généralement un
Last-Modified
champ, vous pouvez le vérifier sans télécharger le fichier. Pas besoin d'utiliser-X HEAD
, il y a une option spéciale-I
pour cela (la-s
sortie de progression supprime) :De plus, dans mon cas, il n'y a pas de boucle installée (je fais un script pour un périphérique intégré) , juste
wget
. Le chemin avec wget est:L'
--server-response
impression des en-têtes et l'--spider
option force à ne pas télécharger les pages, mais à vérifier plutôt leur existence.la source
curl
une meilleure réponse que celle acceptée. Peut-être en utilisantgrep -i
depuis souvent la "dernière modification" a un cas différent.