Sto creando un semplice script Bash per estrarre l'ora / la data di modifica del file di un file remoto tramite HTTP.
File di esempio: http://example.com/bar/example.pdf
Questo può essere fatto senza scaricare il file attuale? In caso contrario, qual è la migliore alternativa?
Risposte:
Ad essere onesti, non direttamente.
Dovrai recuperare i dati dal sito remoto per ottenere informazioni sul file. Di solito questo viene fatto con una HEADrichiesta, ma alcuni (la maggior parte?) Server non lo hanno implementato correttamente e consegnano l'intero file, proprio come fare una GETrichiesta. Supponendo che tu abbia curlinstallato:
curl -s -v -X HEAD http://foo.com/bar/baz.pdf 2>&1 | grep '^< Last-Modified:'potrebbe darti quello che vuoi, ma come detto, dipende molto dal server.
HEAD. Tuttavia, anche quei siti ti daranno il risultato, perché dovrebbero fornire tutto.
--headopzione invece di -X HEADcome il suo più laconico così il comando diventerebbe: curl -s -v --head http://foo.com/bar/baz.pdf 2>&1 | grep '^< Last-Modified:'
curl -svX HEADè ancora più conciso ...
La risposta del server di solito ha un Last-Modifiedcampo, è possibile controllarlo senza scaricare il file. Non c'è bisogno di usare -X HEAD, c'è un'opzione speciale -Iper questo ( -ssopprime l'output di avanzamento) :
curl -sI http://example.com/bar/example.pdf | grep -i Last-ModifiedAnche nel mio caso non è installato alcun ricciolo (sto facendo uno script per un dispositivo incorporato) , giusto wget. Il modo con wget è:
wget --server-response --spider http://example.com/bar/example.pdf 2>&1 | grep -i Last-ModifiedLe --server-responseintestazioni di stampa e l' --spideropzione costringono a non scaricare pagine, ma piuttosto a controllarne l'esistenza.
curlè una risposta migliore di quella accettata. Forse usando come grep -ispesso "l'ultima modifica" ha un caso diverso.