PHP マニュアル
前のページ次のページ

readline_write_history

(PHP 4, PHP 5)

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

説明

boolean readline_write_history ( [string filename] )

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

前のページホーム次のページ
readline_redisplay上に戻るreadline