readline_list_history

(PHP 4, PHP 5)

readline_list_history — Lists the history

Описание

array readline_list_history ( void )

Gets the entire command line history.

Возвращаемые значения

Returns an array of the entire command line history. The elements are indexed by integers starting at zero.

Коментарии

Автор:
Note this function is only available when PHP is compiled with libreadline, not if it is compiled with libedit.

<?php
if (function_exists('readline_list_history')) {
 
$history readline_list_history();
 
// ...
} else {
  echo 
'Not supported by the compiled library.'.PHP_EOL;
}
?>
2011-01-26 20:17:53
http://php5.kiev.ua/manual/ru/function.readline-list-history.html
I just noticed that all readline functions are available with my php.exe (PHP 7, Cygwin) except for this one. It would be nice to have it so duplicate lines can be screened.

So to emulate it, I keep a working copy of the history in an array (yeah, extra code/data, but there are ways to keep the history from getting too large).

Loading is like:

<?php
    readline_read_history
(HISTFILE);
   
$hist file(HISTFILE,FILE_IGNORE_NEW_LINES);
   
array_shift($hist);
?>

Adding is like:

<?php
   
if (!in_array($line,$hist)) {
       
$hist[] = $line;
       
readline_add_history($line);
    }
?>

(One may want to just check the last entry being the same.)
2016-12-16 04:19:30
http://php5.kiev.ua/manual/ru/function.readline-list-history.html

    Поддержать сайт на родительском проекте КГБ