Login Register

readline_write_history

(PHP 4, PHP 5, PHP 7)

Writes the history

bool readline_write_history ([ string $filename ] )

This function writes the command history to a file.

Parameters:

filename

Path to the saved file.

Returns:

Returns TRUE on success or FALSE on failure.

Links:

http://php.net/manual/en/function.readline-write-history.php

doc_php

2016-02-24 15:55:05

Comments

Leave a Comment

Please login to continue.

Popular Articles

readline.write_history_file() readline.write_history_file([filename]) Save the history list to a readline history file, overwriting any existing file. The default filename is ~

readline_list_history (PHP 4, PHP 5, PHP 7) Lists the history array readline_list_history ( void ) G

history_write history_write($nid, $account = NULL) Updates 'last viewed' timestamp of the specified entity for the current user. Parameters $nid: The node ID that

readline_clear_history (PHP 4, PHP 5, PHP 7) Clears the history bool readline_clear_history ( void )

readline.clear_history() readline.clear_history() Clear the current history. This calls clear_history() in the underlying library. The Python function only exists if Pytho