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_read_history	上一级	readline