Как мне прочитать дату создания информации о файле из URL - PullRequest
0 голосов
/ 04 декабря 2018

Могу ли я получить дату создания файла с указанным URL-адресом без загрузки файла?

скажем, его http: ///sever1.example.com/foo.bar.Как получить дату создания панели foo на терминале bash

Ответы [ 2 ]

0 голосов
/ 04 декабря 2018

Нет необходимости использовать curl, BASH может обрабатывать TCP-соединения:

$ exec 5<>/dev/tcp/google.com/80
$ echo -e "GET / HTTP/1.0\n" >&5
$ head -5 <&5
HTTP/1.0 200 OK
Date: Tue, 04 Dec 2018 13:29:30 GMT
Expires: -1
Cache-Control: private, max-age=0
Content-Type: text/html; charset=ISO-8859-1
$ exec 5>&-
0 голосов
/ 04 декабря 2018

Встроенный в @MichaWiedenmann. Я вижу, что единственное решение - использовать сторонний бинарный файл, например curl, для помощи bash в команде

curl -Is http://server1.example.com/foo.bar

Это приведет к печати информации, которой можно манипулироватьс grep и sed , чтобы соответствовать моим целям

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...