readline_read_history

(PHP 4, PHP 5, PHP 7)

readline_read_history — Lit l'historique

Description

readline_read_history ([ string $filename ] ) : 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.