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