readline_write_history
(PHP 4, PHP 5)
readline_write_history — Writes the history
说明
bool readline_write_history ([ string $filename ] )This function writes the command history to a file.
参数
- filename
-
Path to the saved file.
返回值
成功时返回 TRUE， 或者在失败时返回 FALSE.
