Extensions spécifiques à la ligne de commande
Introduction
Extensions spécifiques à la ligne de commande
PHP Manual
GNU Readline
Introduction
Installation/Configuration
Installation
Configuration à l'exécution
Types de ressources
Constantes pré-définies
Fonctions Readline
readline_add_history
— Ajoute une ligne à l'historique
readline_callback_handler_install
— Initialise l'interface et le terminal de rappel de readline, affiche le prompt et retourne immédiatement
readline_callback_handler_remove
— Efface un gestionnaire de rappel readline
readline_callback_read_char
— Lit un caractère et informe l'interface de rappel readline
readline_clear_history
— Efface l'historique
readline_completion_function
— Enregistre une fonction de complétion
readline_info
— Lit ou modifie diverses variables internes de readline
readline_list_history
— Liste l'historique
readline_on_new_line
— Informe readline que le curseur est passé à une nouvelle ligne
readline_read_history
— Lit l'historique
readline_redisplay
— Demande à readline de refaire l'affichage
readline_write_history
— Écrit dans l'historique
readline
— Lit une ligne
Extensions spécifiques à la ligne de commande
Introduction
Extensions spécifiques à la ligne de commande
PHP Manual