readline_write_history

(PHP 4, PHP 5)

readline_write_history — ヒストリを書きこむ

bool readline_write_history ([ string $filename ] )

この関数はコマンドヒストリをファイルに書き込みます。

成功した場合に TRUE を、失敗した場合に FALSE を返します。