Note that readline_add_history() will add empty strings too.
<?php
$line = readline(">>> ");
if (!empty($line)) {
readline_add_history($line);
}
?>
readline_add_history
(PHP 4, PHP 5, PHP 7)
readline_add_history — Adds a line to the history
Description
readline_add_history
( string
$line
) : boolThis function adds a line to the command line history.
Parameters
-
line -
The line to be added in the history.
Return Values
Returns TRUE on success or FALSE on failure.
add a note
