Login Register

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 ~/.history. This calls write_history() in the underlying library.

Links:

https://docs.python.org/3.5/library/readline.html#readline.write_history_file

doc_python

2016-10-07 17:41:24

Comments

Leave a Comment

Please login to continue.

Popular Articles

readline_write_history (PHP 4, PHP 5, PHP 7) Writes the history bool readline_write_history ([ string $filename ] )

readline.append_history_file() readline.append_history_file(nelements[, filename]) Append the last nelements items of history to a file. The default filename is ~/.history. The

readline.read_history_file() readline.read_history_file([filename]) Load a readline history file, and append it to the history list. The default filename is ~/.history. This c

history_file= history_file=(hist) Instance Public methods Set IRB.conf[:HISTORY_FILE] to the given hist.

history_file history_file() Instance Public methods A copy of the default IRB.conf[:HISTORY_FILE]