d:id:kanehama:20110216:1297840301のおいらの回答
<?php $data = file_get_contents('php://stdin'); print preg_replace('/[\r\n]{1,2}/',"\n",$data); ?>
filter.phpって名前で作って
cat (元データ) | php filter.php > 出力ファイル名
って書けば\nで統一されました。
<?php $data = file_get_contents('php://stdin'); print preg_replace('/[\r\n]{1,2}/',"\n",$data); ?>
filter.phpって名前で作って
cat (元データ) | php filter.php > 出力ファイル名
って書けば\nで統一されました。