readline_write_history

(PHP 4, PHP 5)

readline_write_history — Writes the history

说明

bool readline_write_history ([ string $filename ] )

This function writes the command history to a file.

参数

filename: Path to the saved file.

返回值

成功时返回 TRUE，或者在失败时返回 FALSE.

PHP手册 - N: Writes the history

用户评论:

jonathan dot gotti at free dot fr (28-Apr-2006 12:52)

readline_write_history() doesn't take care of the $_SERVER['HISTSIZE'] value, here's an example on how to handle an history file in your apps taking care of user preferences regarding history size. at the begining of your script: <?php $history_file = $_SERVER['HOME'].'/.PHPinteractive_history'; # read history from previous session if(is_file($history_file)) readline_read_history($history_file); .... # your application's code .... # put this at the end of yur script to save history and take care of $_SERVER['HISTSIZE'] if( readline_write_history($history_file) ){ # clean history if too long $hist = readline_list_history(); if( ($histsize = count($hist)) > $_SERVER['HISTSIZE'] ){ $hist = array_slice($hist, $histsize - $_SERVER['HISTSIZE']); # in php5 you can replaces thoose line with a file_puts_content() if( $fhist = fopen($history_file,'w') ){ fwrite($fhist,implode("\n",$hist)); fclose($fhist); } } } ?>