readline_write_history

(PHP 4 , PHP 5)

readline_write_history -- Grava a história

Descrição

bool readline_write_history ( string filename )

Esta função escreve a história dos comandos em um arquivo.