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.