readline_redisplay
readline
Fonctions Readline
PHP Manual

# readline_write_history

(PHP 4, PHP 5)

readline_write_history — Écrit dans l'historique

### Description

bool readline_write_history ([ string `$filename` ] )

Écrit l'historique dans le fichier `filename` .

### Liste de paramètres

`filename`

  Chemin vers le fichier à sauvegarder.

### Valeurs de retour

Cette fonction retourne `TRUE` en cas de succès, `FALSE` en cas d'échec.

readline_redisplay
readline
Fonctions Readline
PHP Manual