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
- Einführung
- Installation/Konfiguration
- Vordefinierte Konstanten
- Readline-Funktionen
- readline_add_history — Fügt eine Zeile zur History hinzu
- readline_callback_handler_install — Initialisiert das readline-Callback-Interface und das Terminal, gibt den Prompt aus und springt direkt zurück
- readline_callback_handler_remove — Entfernt den letztdefinierten Callbackhandler und setzt die Terminalumgebung auf die Ursprungswerte zurück
- readline_callback_read_char — Liest ein Zeichen und informiert das readline-Callback-Interface, wenn die Eingabezeile abgeschlossen wurde
- readline_clear_history — Löscht die History
- readline_completion_function — Registriert eine Vervollständigungsfunktion
- readline_info — Liest/Setzt verschiedene interne readline-Variablen
- readline_list_history — Auflistung der History
- readline_on_new_line — Informiert readline, dass der Cursor in eine neue Zeile bewegt wurde
- readline_read_history — Liest die History
- readline_redisplay — Zeichnet den Bildschirm neu
- readline_write_history — Schreibt die History
- readline — Liest eine Zeile
list2011 at lunch dot za dot net ¶
1 year ago
