BashスクリプトでHTTP経由のリモートファイルの変更時間を取得する

HTTP経由でリモートファイルのファイル変更日時を抽出する簡単なBashスクリプトを作成しています。

ファイルの例： http://example.com/bar/example.pdf

これは、実際のファイルをダウンロードせずに実行できますか？そうでない場合、最善の選択肢は何ですか？

正直に言うと、直接ではありません。

ファイルに関する情報を取得するには、リモートサイトからデータをフェッチする必要があります。通常、これはHEAD要求で行われますが、一部の（ほとんど？）サーバーはそれを正しく実装せず、GET要求を行うのと同じようにファイル全体を配信しません。あなたがcurlインストールしたと仮定します：

curl -s -v -X HEAD http://foo.com/bar/baz.pdf 2>&1 | grep '^< Last-Modified:'

あなたが望むものを与えるかもしれませんが、言ったように、それはサーバーに大きく依存します。

サーバーの応答には通常Last-Modifiedフィールドがあり、ファイルをダウンロードせずに確認できます。を使用する必要はありません。そのための-X HEAD特別なオプションがあります（進行状況の出力を抑制します）。-I-s

curl -sI http://example.com/bar/example.pdf | grep -i Last-Modified

また、私の場合、カールはインストールされていません（組み込みデバイスのスクリプトを実行しています）だけwgetです。wgetを使用する方法は次のとおりです。

wget --server-response --spider http://example.com/bar/example.pdf 2>&1 | grep -i Last-Modified

--server-responseプリントヘッダ、および--spiderオプションの力のページをダウンロードするのではなく、その存在をチェックしないように。