polyml インタープリターに readline サポートを追加するには?

readline サポートをネイティブでサポートしていない端末プログラムに追加する最も簡単な方法は、rlwrap を使用してプログラムを呼び出すことです。 .複数のパッケージ マネージャーを使用して、同じ名前のパッケージをインストールできます。 ↑ を押す 以下の例:

$ poly
Poly/ML 5.7.1 Release
- ^[[A

次のように実行できます:

$ rlwrap poly
Poly/ML 5.7.1 Release
- stuff I typed from last session;

または、 ~/.bashrc にエイリアスを追加できます または類似:

alias poly='rlwrap poly'

次の 2 つの QA は、sml/nj についてですが、あなたの質問に答えます。 polyml と同じであるべきです

• SML バックスペースを制圧
• 矢印キーを使用するように SML/NJ インタラクティブ システムを「修正」する方法