readline_write_history
(PHP 4, PHP 5, PHP 7, PHP 8)
readline_write_history — Writes the history
Description
This function writes the command history to a file.
Parameters
filename- Path to the saved file.
Changelog
| Version | Description |
|---|---|
| 8.0.0 | filename is nullable now. |
↑ and ↓ to navigate • Enter to select • Esc to close • / to open