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.add_history() readline.add_history(line) Append line to the history buffer, as if it was the last line typed. This calls add_history() in the underlying library

readline_read_history (PHP 4, PHP 5, PHP 7) Reads the history bool readline_read_history ([ string $filename ] )