readline_write_history Writes the history


readline_write_history

(PHP 4, PHP 5)

readline_write_historyWrites 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.


«  readline_redisplay
» readlink
快速导航

Copyright © 2016 phpStudy | 豫ICP备2021030365号-3