.inputrcのキー割り当てがPHPの職人の工夫で動かない

私は現在Windows 10上でGIT Bashを使用しています。 etc/.inputrc ファイル。これはすべてうまくいきます。

しかし私が働いているとき Laravel "php職人ティンカー"シェル キーバインドは機能しなくなりました。それが役立つかどうか私にはわかりませんが、それは心配です "Psy Shell v0.8.18（PHP 7.2.0 - cli） Justin Hilemanによる "誰もがこれを修正する方法を知っていますか？

.inputrc これはReadlineライブラリによってのみ使用されます - 自動的にすべての端末入力に適用されるわけではありません。

PHPにはreadlineモジュールがあり、それはPsyShでサポートされています。 cli/php.ini。 （ ドキュメンテーション 7.1.0以降はWindows互換であると言っています。 関連性があります。 ）

そうは言っても、WindowsネイティブのPHPはMSYSベースのGit Bashとは別の場所でinputrcを探している可能性があります。

Readlineを完全にサポートしていないプログラムのために、というラッパーツールがあります。 rlwrap これらの機能を追加します。 （もちろん、アプリ固有のタブ補完はできません。一般的な編集と履歴の改善のみが可能です。）