Когда я делаю растущий файл в php, я обычно использую функцию _file_put_contents_ с флагами FILE_APPEND и LOCK_EX.
Нет, у меня есть растущий видео файл, который я играю с mplayer.
Чтобы файл не стал слишком большим, я хочу перезаписать данные, которые я уже воспроизвел, без усечения файла. В bash для этого есть простая функция:
dd if=/dev/zero of=myoutputfile conv=notrunc count=1 bs=128k
объяснено здесь http://en.wikipedia.org/wiki//dev/zero
Есть ли способ получить то же самое в php?