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
- Installing/Configuring
- Predefined Constants
- Readline Functions
- readline_add_history — Adds a line to the history
- 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 — Clears the history
- readline_completion_function — Registers a completion function
- readline_info — Gets/sets various internal readline variables
- readline_list_history — فهرست کردن تاریخ
- readline_on_new_line — اطلاع به readline که cursor به خط جدید رفته است
- readline_read_history — خواندن تاریخچه
- readline_redisplay — رسم دوباره صفحه نمایش
- readline_write_history — نوشتن تاریخچه
- readline — Reads a line
list2011 at lunch dot za dot net ¶
1 year ago
