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
- Introdução
- Instalação/Configuração
- Constantes pré-definidas
- Funções da Readline
- readline_add_history — Adiciona uma linha ao histórico
- readline_callback_handler_install — Initializes the readline callback interface and terminal, prints the prompt and returns immediately
- readline_callback_handler_remove — Removes a previously installed callback handler and restores terminal settings
- readline_callback_read_char — Reads a character and informs the readline callback interface when a line is received
- readline_clear_history — Limpa a história
- readline_completion_function — Registra uma função de completar
- readline_info — Obtém/Define várias variáveis internas do readline
- readline_list_history — Lista a história
- readline_on_new_line — Inform readline that the cursor has moved to a new line
- readline_read_history — Lê a história
- readline_redisplay — Redraws the display
- readline_write_history — Grava a história
- readline — Lê uma linha
list2011 at lunch dot za dot net ¶
1 year ago
