readline_write_history

(PHP 4, PHP 5, PHP 7)

readline_write_history — 写入历史记录

readline_write_history ([ string $filename ] ) : bool

这个函数将命令历史写入到一个文件.

成功时返回 TRUE，或者在失败时返回 FALSE。