readline_redisplay
readline
Readline-Funktionen
PHP Manual

# readline_write_history

(PHP 4, PHP 5)

readline_write_history — Schreibt die History

### Beschreibung

bool readline_write_history ([ string `$filename` ] )

Diese Funktion schreibt die Kommandozeilen-History in eine Datei.

### Parameter-Liste

`filename`

  Pfad zur Datei, in der gespeichert werden soll.

### Rückgabewerte

Gibt bei Erfolg `TRUE` zurück, im Fehlerfall `FALSE`.

readline_redisplay
readline
Readline-Funktionen
PHP Manual