array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'ru', ), 'this' => array ( 0 => 'function.readline-write-history.php', 1 => 'readline_write_history', ), 'up' => array ( 0 => 'ref.readline.php', 1 => 'Функции Readline', ), 'prev' => array ( 0 => 'function.readline-redisplay.php', 1 => 'readline_redisplay', ), 'next' => array ( 0 => 'function.readline.php', 1 => 'readline', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'ru', 'path' => 'reference/readline/functions/readline-write-history.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
(PHP 4, PHP 5, PHP 7, PHP 8)
readline_write_history — Записать историю команд в файл
Функция записывает историю команд в файл.
filename
Путь к файлу.
Возвращает true
в случае успешного выполнения или false
, если возникла ошибка.
Версия | Описание |
---|---|
8.0.0 |
filename теперь допускает значение null.
|