curl を使用して一連のファイルを次の形式でダウンロードしようとしています。
..
だから私はこのコマンドを使用しました:
time curl " http://example.com/[0-9][0-9][0-9].jpg " -o "#1#2#3.gif"
しかし、いくつかのファイルは存在しません。そのコマンドは私の側でファイルを作成しますが、実際にはエラーページだけが含まれます。
ダウンロードする前に、curlがリモートサーバーに存在するかどうかを確認する方法が必要です。
wget が実行できることはわかっていますが、wget の実行には約 5 倍の時間がかかるようです。wget で試してみたコマンドは次のとおりです。
time wget http://example.com/ {0..9}{0..9}{0..9}.jpg