Installation
Types de ressources
Installation/Configuration
PHP Manual

## Configuration à l'exécution

Le comportement de ces fonctions est affecté par la configuration dans le fichier php.ini.

Options de configuration Readline
Nom | Défaut | Modifiable | Historique
--- | --- | --- | ---
cli.pager | "" | PHP_INI_ALL | Disponible depuis PHP 5.4.0.
cli.prompt | "\\b \\> " | PHP_INI_ALL | Disponible depuis PHP 5.4.0.

Voici un éclaircissement sur l'utilisation des directives de configuration.

`cli.pager` string

  Outil externe pour afficher la sortie depuis la ligne de commande.

`cli.prompt` string

  Prompt de la ligne de commande.

Installation
Types de ressources
Installation/Configuration
PHP Manual