PHP speed | PHP Manual | PHP Benchmark | MySQL Manual | MySQL Benchmark | Apache Manual | Apache Benchmark
PHP Manual
PrevNext

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.

PrevHomeNext
readline_redisplayUpreadline