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でも結局発生したため、たぶん大量のファイルを持ったディレクトリを大量に作って、それを放置していたからかもしれない。