readline_write_history

(PHP 4, PHP 5, PHP 7, PHP 8)

readline_write_history — Schreibt die History

Beschreibung

readline_write_history(?string $filename = null): 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. Bei einem Fehler wird false zurückgegeben.

Changelog

Version Beschreibung
8.0.0 filename ist nun ein Nullable-Typ.