readline_write_history

(PHP 4, PHP 5, PHP 7)

readline_write_history — Schreibt die History

Beschreibung

readline_write_history ([ string $filename ] ) : bool

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 wird FALSE zurückgegeben.