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.