readline_write_history

(PHP 4, PHP 5, PHP 7)

readline_write_history — Writes the history

Descripción

readline_write_history ([ string $filename ] ) : bool

This function writes the command history to a file.

Parámetros

filename

Path to the saved file.

Valores devueltos

Devuelve TRUE en caso de éxito o FALSE en caso de error.