©
This document uses PHP Chinese website manual Release
(PHP 4, PHP 5)
readline_read_history — 读取命令历史
$filename
] )这个函数从一个文件读取命令历史
filename
保存了命令历史的文件的路径.
成功时返回 TRUE
, 或者在失败时返回 FALSE
。
[#1] Anonymous [2011-01-26 16:07:23]
Note that the first line in the history file must contain the string: _HiStOrY_V2_
Else it wont work.