php-manual.net
Home
|
PHP Manual auf Deutsch
|
PHP Manual in English
|
PHP manuel le sur le français
|
Impressum
GNU Readline
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
Readline
— Fonctions GNU Readline
readline_add_history
— Ajoute une ligne à l'historique
readline_callback_handler_install
— Initialise l'interface et le terminal de callback de readline, affiche le prompt et retourne immédiatement
readline_callback_handler_remove
— Efface un gestionnaire de callback installé précédemment et restaure les paramètres du terminal
readline_callback_read_char
— Lit un caractère et informe l'interface de callback readline lorsqu'une ligne est reçue
readline_clear_history
— Efface l'historique
readline_completion_function
— Enregistre une fonction de complétion
readline_info
— Lit/modifie diverses variables internes
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