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
- Wstęp
- Instalacja/Konfiguracja
- Stałe predefiniowane
- Funkcje Readline
- readline_add_history — Dodaje wiersz do historii
- 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 — Czyści historię
- readline_completion_function — Rejestruje funkcję dopełniania
- readline_info — Pobiera/ustawia różne wewnętrzne zmienne biblioteki readline
- readline_list_history — Zwraca historię wiersza poleceń
- readline_on_new_line — Inform readline that the cursor has moved to a new line
- readline_read_history — Czyta historię
- readline_redisplay — Redraws the display
- readline_write_history — Zapisuje historię
- readline — Czyta linię
list2011 at lunch dot za dot net ¶
1 year ago
