readline_write_history

(PHP 4, PHP 5)

readline_write_history -- ヒストリを書きこむ

説明

boolean readline_write_history ( string filename )

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