Delicious Bookmark this on Delicious Share on Facebook SlashdotSlashdot It! Digg! Digg



PHP : Function Reference : GNU Readline : readline_write_history

readline_write_history

Writes the history (PHP 4, PHP 5)
bool readline_write_history ( [string filename] )


Code Examples / Notes » readline_write_history

jonathan dot gotti

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);
   }
 }
}
?>


Change Language


Follow Navioo On Twitter
readline_add_history
readline_callback_handler_install
readline_callback_handler_remove
readline_callback_read_char
readline_clear_history
readline_completion_function
readline_info
readline_list_history
readline_on_new_line
readline_read_history
readline_redisplay
readline_write_history
readline
eXTReMe Tracker