Readline
- はじめに
- インストール/設定
- 定義済み定数
- Readline 関数
- readline — 一行読み込む
- readline_add_history — ヒストリに 1 行追加する
- readline_callback_handler_install — readline コールバックインターフェイスと端末を初期化し、 プロンプトを表示して結果をすぐに返す
- readline_callback_handler_remove — インストールされたハンドラを削除し、端末の設定をもとに戻す
- readline_callback_read_char — 文字を読み込み、改行を受け取ると readline コールバックインターフェイスに通知する
- readline_clear_history — ヒストリをクリアする
- readline_completion_function — 補完関数を登録する
- readline_info — 種々の readline の内部変数を取得/設定する
- readline_list_history — ヒストリを一覧表示する
- readline_on_new_line — カーソルが新しい行に移動したことを readline に通知する
- readline_read_history — ヒストリを読み込む
- readline_redisplay — 画面を再描画する
- readline_write_history — ヒストリを書きこむ
＋add a note
User Contributed Notes 1 note
list2011 at lunch dot za dot net ¶
12 years ago
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
↑ and ↓ to navigate •
Enter to select •
Esc to close
Press Enter without
selection to search using Google