PHPマニュアル/PEARマニュアル | ユーザフォーラムで議論/質問 | マニュアル検索 | ハイライト | ハイライトオフ | ポータル | php spot

readline_info - 種々の readline の内部変数を取得/設定する | JavaScript入門&応用&リファレンスなら「JavaScriptist」

  

readline_info

(PHP 4, PHP 5, PHP 7)

readline_info種々の readline の内部変数を取得/設定する

説明

mixed readline_info ([ string $varname [, string $newvalue ]] )

さまざまな readline の内部変数の取得あるいは設定を行います。

パラメータ

varname

変数の名前。

newvalue

指定した場合は、これがその設定の新しい値となります。

返り値

パラメータを指定しないでコールした場合、この関数は readline が使用する すべての設定の値を配列で返します。要素の添字は次のようになります。 done, end, erase_empty_line, library_version, line_buffer, mark, pending_input, point, prompt, readline_name, terminal_name

ひとつあるいはふたつのパラメータを指定してコールした場合は、 元の値が返されます。


忘却曲線を使ってこの関数を確実に記憶に残す

フォーラムで「readline_info - 種々の readline の内部変数を取得/設定する」について話す
各種マニュアル: PHPマニュアル | PEARマニュアル | Smarty(英語)マニュアル | PHP-GTKマニュアル | readline_info - 種々の readline の内部変数を取得/設定する」をGoogle検索
copyright © 1997-2024 PHP ドキュメント作成グループ(ライセンス). provided by php spot. マニュアル: