(PHP 4, PHP 5)
readline_add_history — Adds a line to the history
$line
)This function adds a line to the command line history.
line
The line to be added in the history.
成功时返回 TRUE
, 或者在失败时返回 FALSE
。
Anonymous (2011-01-26 15:53:11)
Note that readline_add_history() will add empty strings too.
<?php
$line = readline(">>> ");
if (!empty($line)) {
readline_add_history($line);
}
?>