phpからcurlを使う
wgetを使っていたらファイルが破損するケース(と思ったら勘違いだったぽい)があったため、今後はcurlを使うようにすること。以下、ファイルダウンロードのメモ。
<?php $cmd = "curl -ks -o /tmp/file.txt http://download.com/file.txt > /dev/null 2>&1"; passthru($cmd, $ret);
オプション
-o ダウンロード時のファイルを指定 -k SSL認証のエラーを無視する -s 進捗表示しない
メモ
ファイルの破損はwgetは悪くない。curlでも結局発生したため、たぶん大量のファイルを持ったディレクトリを大量に作って、それを放置していたからかもしれない。