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, PHP 8)
readline_add_history — Agrega una línea a la historia
Descripción
Esta función agrega una línea a la historia de la línea de comandos.
Parámetros
-
line -
La línea a ser agregada en la historia.
Valores devueltos
Devuelve true en caso de éxito o false en caso de error.
add a note
