PHP Manual
Ðñïçã
Åðüìåíï
readline_write_history
(PHP 4, PHP 5)
readline_write_history -- Writes the history
Description
bool
readline_write_history
( [string filename] )
This function writes the command history to a file.
Ðñïçã
Áñ÷Þ
Åðüìåíï
readline_redisplay
ÐÜíù
readline