Manuel PHP
PrécédentSuivant

readline_write_history

(PHP 4 >= 4.0.0)

readline_write_history -- Ecrit dans l'historique

Description

boolean readline_write_history (string filename)

readline_write_history() écrit filename dans l'historique.

PrécédentSommaireSuivant
readline_read_historyNiveau supérieurRecode (GNU)