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