readline_read_history

(PHP 4, PHP 5)

readline_read_history — Lee el historial

bool readline_read_history ([ string $nombre_archivo ] )

Esta función lee un historial de comandos desde un archivo.

nombre_archivo: Ruta al nombre de archivo que contiene la historia de comandos.

Devuelve TRUE si todo se llevó a cabo correctamente, FALSE en caso de fallo.