readline_write_history
Description
boolean readline_write_history ( string filename)readline_write_history() écrit filename dans l'historique.
| Précédent | Sommaire | Suivant |
| readline_read_history | Niveau supérieur | readline |
|
|
NAME="GENERATOR"
CONTENT="Modular DocBook HTML Stylesheet Version 1.73
">readline_write_historyDescriptionboolean readline_write_history ( string filename)readline_write_history() écrit filename dans l'historique.
|