readline_read_history

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

readline_read_historyLit l'historique

Description

readline_read_history(?string $filename = null): bool

Lit une ligne de l'historique depuis le fichier filename.

Liste de paramètres

filename

Chemin vers le fichier contenant l'historique des commandes.

Valeurs de retour

Cette fonction retourne true en cas de succès ou false si une erreur survient.

Historique

Version Description
8.0.0 filename est désormais nullable.
add a note add a note

User Contributed Notes 1 note

up
0
Anonymous
13 years ago
Note that the first line in the history file must contain the string: _HiStOrY_V2_

Else it wont work.
To Top