When readline is enabled, php switches the terminal mode to accept line-buffered input. This means that the proper way to use the cli when you pipe to an interactive command is to explicitly specify that php is not using the terminal for input:
php somescript.php < /dev/null | less
GNU Readline
- Introduction
- Installation/Configuration
- 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
list2011 at lunch dot za dot net ¶
1 year ago
